ATOM: An object-based formal method for real-time systems
Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji YangVolume:
7
Language:
english
Pages:
22
DOI:
10.1023/a:1018942406449
Date:
October, 1999
File:
PDF, 160 KB
english, 1999