共 50 条
- [21] Real-time treatment planning optimisation for brachytherapy DFMA '05: FIRST INTERNATIONAL CONFERENCE ON DISTRIBUTED FRAMEWORKS FOR MULTIMEDIA APPLICATIONS, PROCEEDINGS, 2004, : 303 - 307
- [22] A Real-Time Antenna Verification System 2018 2ND URSI ATLANTIC RADIO SCIENCE MEETING (AT-RASC), 2018,
- [23] A simplification of a real-time verification problem SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571
- [24] Real-time verification of STATEMATE designs COMPUTER AIDED VERIFICATION, 1998, 1427 : 537 - 541
- [25] Compositional verification of real-time applications COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 276 - 300
- [26] Verification of real-time systems design SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37