共 50 条
- [41] A Real-Time Antenna Verification System 2018 2ND URSI ATLANTIC RADIO SCIENCE MEETING (AT-RASC), 2018,
- [42] A simplification of a real-time verification problem SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571
- [43] Real-time verification of STATEMATE designs COMPUTER AIDED VERIFICATION, 1998, 1427 : 537 - 541
- [44] Compositional verification of real-time applications COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 276 - 300
- [45] Verification of real-time systems design SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
- [46] RVERL: Run-time verification of real-time and reactive programs using event-based real-time logic approach SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 550 - +
- [47] Multi-Core Programming Approach in the Real-Time Virtual Instrumentationa 2008 IEEE INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE, VOLS 1-5, 2008, : 1031 - +
- [48] A hybrid approach for a real-time haptic and graphic simulator in virtual environment 2007 RO-MAN: 16TH IEEE INTERNATIONAL SYMPOSIUM ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION, VOLS 1-3, 2007, : 315 - +