共 50 条
- [21] Consistency verification in modeling of real-time systems IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (01): : 136 - 142
- [22] Modeling and analysis of real-time and embedded systems SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 : 58 - 66
- [23] Multitask Real-Time Systems Modeling in SystemC 2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
- [24] Real-Time Modeling for Industrial Control Systems 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [25] Reliability modeling of hard real-time systems TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS, 1998, : 304 - 313
- [26] MODELING REAL-TIME SYSTEMS - ISSUES AND CHALLENGES SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 1 - 28
- [27] An approach to modeling and verification of real-time systems FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 283 - 290
- [28] Modeling Spaces for Real-Time Embedded Systems 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
- [29] Real-time supervisor modeling for telecom systems ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, : 162 - 169
- [30] Hard real-time systems modeling and simulation MODELLING AND SIMULATION 1996, 1996, : 108 - 112