共 50 条
- [31] Organic semiconductors as real-time radiation detectors NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2014, 763 : 304 - 307
- [33] Interactive Adaptation of Real-Time Object Detectors 2014 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2014, : 1282 - 1289
- [38] Consistency verification in modeling of real-time systems IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (01): : 136 - 142
- [39] Modelling and Verification of Real-Time Systems with Alvis TOWARDS A SYNERGISTIC COMBINATION OF RESEARCH AND PRACTICE IN SOFTWARE ENGINEERING, 2018, 733 : 165 - 178
- [40] Challenge Benchmarks for Verification of Real-time Programs PLPV'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2010, : 57 - 62