*Result*: An object-oriented real time systems modeling and verification methodology
Title:
An object-oriented real time systems modeling and verification methodology
Authors:
Source:
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Computer software and applications Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International. :490-495 1996
Relation:
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96
Database:
IEEE Xplore Digital Library