共 50 条
- [32] Deductive verification of probabilistic real-time systems 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 622 - 627
- [33] Specification Theories for Probabilistic and Real-Time Systems FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
- [34] Probabilistic analysis of real-time dependable systems THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 306 - 313
- [35] CONCEPTION METHODOLOGY FOR COMPLEX CONTROL-SYSTEMS IN REAL-TIME RAIRO-AUTOMATIQUE-SYSTEMS ANALYSIS AND CONTROL, 1984, 18 (02): : 251 - 266
- [38] A Networked Embedded Real-time Controller for Complex Control Systems 2011 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, 2011, : 3210 - 3215
- [39] Managing complex temporal requirements in real-time control systems NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 103 - 109