The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
pp: 26
INDEX TERMS
CITATION

J. Wang, R. Sinha and Y. Deng, "Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 26.
doi:10.1109/ICFEM.1998.730567
92 ms
(Ver 3.3 (11022016))