共 50 条
- [2] Verification of real-time systems design SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
- [4] Consistency verification in modeling of real-time systems IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (01): : 136 - 142
- [5] Modelling and Verification of Real-Time Systems with Alvis TOWARDS A SYNERGISTIC COMBINATION OF RESEARCH AND PRACTICE IN SOFTWARE ENGINEERING, 2018, 733 : 165 - 178
- [6] Parametric optimization of open real-time systems STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 299 - 318
- [7] Deductive verification of probabilistic real-time systems 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 622 - 627
- [9] Partial orders and verification of real-time systems FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 327 - 346