*Result*: Object-oriented real time systems modeling and verification
Title:
Object-oriented real time systems modeling and verification
Authors:
Source:
Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems Object-oriented real-time dependable systems Object-Oriented Real-Time Dependable Systems, 1997. Proceedings., Third International Workshop on. :224-231 1997
Relation:
Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems
Database:
IEEE Xplore Digital Library