학술논문
Experience with applying formal methods to protocol specification and system architecture
Document Type
Article
Author
Source
In: Formal Methods in System Design . (Formal Methods in System Design, March 2003, 22(2):109-116)
Subject
Language
English
ISSN
09259856