共 50 条
- [31] Schedule validation for embedded reactive real-time systems DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 52 - 57
- [33] A rigorous method for testing real-time reactive systems APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 220
- [34] Synthesis of monitors for real-time analysis of reactive systems PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 72 - +
- [35] Modeling and Verifying Real-time Properties of Reactive Systems 2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 14 - 23
- [36] TEMPORAL REASONING ABOUT REAL-TIME REACTIVE SYSTEMS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 249 - 256
- [37] Student projects in reactive and real-time systems course REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 57 - 62
- [38] Rate assignment for embedded reactive real-time systems 24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 237 - 242
- [39] Reactive object oriented modeling of real-time control ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 387 - 390
- [40] Using real-time queueing theory to control lateness in real-time systems Performance Evaluation Review, 1997, 25 (01): : 158 - 168