共 50 条
- [2] AUTOMATA FOR MODELING REAL-TIME SYSTEMS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 443 : 322 - 335
- [3] Multitask Real-Time Systems Modeling in SystemC [J]. 2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
- [4] Modeling and analysis of real-time and embedded systems [J]. SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 : 58 - 66
- [5] Real-Time Modeling for Industrial Control Systems [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [6] Consistency verification in modeling of real-time systems [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (01): : 136 - 142
- [7] MODELING REAL-TIME SYSTEMS - ISSUES AND CHALLENGES [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 1 - 28
- [8] An approach to modeling and verification of real-time systems [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 283 - 290
- [9] Modeling Spaces for Real-Time Embedded Systems [J]. 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
- [10] Reliability modeling of hard real-time systems [J]. TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS, 1998, : 304 - 313