共 50 条
- [32] Discrete time approach of time Petri nets for real-time systems analysis ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 197 - 204
- [34] Consistency verification in modeling of real-time systems IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (01): : 136 - 142
- [35] Modelling and Verification of Real-Time Systems with Alvis TOWARDS A SYNERGISTIC COMBINATION OF RESEARCH AND PRACTICE IN SOFTWARE ENGINEERING, 2018, 733 : 165 - 178
- [36] Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 183 - 219
- [37] Experiments with parametric verification of real-time systems PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 1999, : 123 - 130
- [38] Deductive verification of probabilistic real-time systems 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 622 - 627
- [40] Partial orders and verification of real-time systems FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 327 - 346