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

학술논문

replay검색결과 돌아가기

search검색화면

Verification of a safety-critical railway interlocking system with real-time constraints

Document Type

Journal

Author

Hartonas-Garmhausen, V; Campos, S; Cimatti, A; Clarke, E; Giunchiglia, F

Source

SCIENCE OF COMPUTER PROGRAMMING; JAN 2000, 36 1, p53-p64, 12p.

Subject

Language

English

ISSN

01676423

Online Access

Full Text (ScienceDirect 종량제) Full Text (ScienceDirect O/A) Web of Science JCR 저널정보 Scopus Find it@PNU

이메일