共 50 条
- [22] Building hybrid real-time model in water industry systems 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 1439 - 1442
- [24] PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 147 - +
- [25] Autonomous real-time model building for optical motion capture 2005 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), VOLS 1-5, 2005, : 3397 - 3400
- [27] Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 183 - 219