共 50 条
- [21] Real-time speaker identification and verification IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2006, 14 (01): : 277 - 288
- [22] A Real-Time Antenna Verification System 2018 2ND URSI ATLANTIC RADIO SCIENCE MEETING (AT-RASC), 2018,
- [24] A simplification of a real-time verification problem SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571
- [25] Real-time verification of STATEMATE designs COMPUTER AIDED VERIFICATION, 1998, 1427 : 537 - 541
- [26] Compositional verification of real-time applications COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 276 - 300
- [27] Verification of real-time systems design SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
- [28] A generalized parallel task model for recurrent real-time processes PROCEEDINGS OF THE 2012 IEEE 33RD REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2012, : 63 - 72
- [30] Combined formal refinement and model checking for real-time systems verification LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 301 - 314