共 50 条
- [21] Verification of real-time system requirements: A Petri net approach REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 165 - 170
- [24] Real-time virtual humans FIFTH PACIFIC CONFERENCE ON COMPUTER GRAPHICS AND APPLICATIONS, PROCEEDINGS, 1997, : 4 - 13
- [26] The Verus tool: A quantitative approach to the formal verification of real-time systems COMPUTER AIDED VERIFICATION, 1997, 1254 : 452 - 455
- [27] Security verification of real-time cryptographic protocols using a rewriting approach IEICE Trans Inf Syst, 4 (355-363):
- [29] Real-Time Navigation for Indoor Environment 2017 IEEE INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATION AND CONTROL (ICAC3), 2017,