共 50 条
- [41] Real-time verification of STATEMATE designs COMPUTER AIDED VERIFICATION, 1998, 1427 : 537 - 541
- [42] Compositional verification of real-time applications COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 276 - 300
- [43] Verification of real-time systems design SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
- [44] The virtual anesthesia machine: An educational experiment in interactive, real-time web simulation and philanthropy SELECTED PAPERS FROM THE 14TH INTERNATIONAL CONFERENCE ON COLLEGE TEACHING AND LEARNING, 2003, : 125 - 132
- [46] REAL-TIME RECOGNITION SYSTEM FOR SPOKEN WORDS JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1978, 64 : S181 - S181
- [48] RAVE: Real-time services for the Web COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 28 (7-11): : 1547 - 1558