共 50 条
- [34] An abstraction technique for real-time verification NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 1 - +
- [36] Real-time speaker identification and verification IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2006, 14 (01): : 277 - 288
- [37] Real-time interactive treatment planning PHYSICS IN MEDICINE AND BIOLOGY, 2014, 59 (17): : 4845 - 4859
- [38] A simplification of a real-time verification problem SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571
- [39] A Real-Time Antenna Verification System 2018 2ND URSI ATLANTIC RADIO SCIENCE MEETING (AT-RASC), 2018,