共 50 条
- [2] Real-time speaker identification and verification [J]. IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2006, 14 (01): : 277 - 288
- [3] Partial orders and verification of real-time systems [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 327 - 346
- [4] Partial order reduction for verification of real-time components [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2007, 4763 : 211 - +
- [5] METHOD FOR MEASURING THE STOCHASTIC PROPERTIES OF CORONA AND PARTIAL-DISCHARGE PULSES [J]. REVIEW OF SCIENTIFIC INSTRUMENTS, 1989, 60 (09): : 3012 - 3023
- [7] A combined toolset for the verification of real-time distributed systems [J]. Programming and Computer Software, 2015, 41 : 325 - 335
- [8] A method for modeling and verification of real-time systems [J]. PROCEEDINGS IEEE SOUTHEASTCON '98: ENGINEERING FOR A NEW ERA, 1998, : 53 - 56
- [10] Real-Time PCR Identification of Unique Bacillus anthracis Sequences [J]. FOLIA BIOLOGICA, 2015, 61 (05) : 178 - 183