학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

FORMAL VERIFICATION - IS IT PRACTICAL FOR REAL-WORLD DESIGN

Document Type

Journal

Author

CAMURATI, P; CHIN, SK; FOURMAN, M; PRINETTO, P; TAKAHARA, A

Source

IEEE DESIGN & TEST OF COMPUTERS; DEC 1989, 6 6, p50-p58, 9p.

Subject

Language

English

ISSN

15581918

Online Access

Full Text (IEEE) Web of Science Scopus Find it@PNU

이메일