Automated support for the formal specification and design of real-time systems
Chris Ho-Stuart, Hussein Zedan, Ming FangVolume:
38
Year:
1993
Language:
english
Pages:
8
DOI:
10.1016/0165-6074(93)90129-9
File:
PDF, 513 KB
english, 1993