共 50 条
- [2] Dynamic thermal signature prediction for real-time scene generation TECHNOLOGIES FOR SYNTHETIC ENVIRONMENTS: HARDWARE-IN-THE-LOOP XVIII, 2013, 8707
- [4] Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 111 - 132
- [5] FREAK for Real Time Forensic Signature Verification 2013 12TH INTERNATIONAL CONFERENCE ON DOCUMENT ANALYSIS AND RECOGNITION (ICDAR), 2013, : 971 - 975
- [6] A Dynamic Verification Mechanism for Real-time Self-adaptive Systems 2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2016, : 265 - 266
- [7] Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2016,
- [9] Face verification for real-time applications IMAGE UNDERSTANDING WORKSHOP, 1996 PROCEEDINGS, VOLS I AND II, 1996, : 747 - 756
- [10] An abstraction technique for real-time verification NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 1 - +