共 50 条
- [35] Timed Strategies for Real-Time Rewrite Theories REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2024, 2024, 14953 : 124 - 144
- [36] The specification of the embedded system of real-time IR DCABES 2007 Proceedings, Vols I and II, 2007, : 1242 - 1244
- [37] SPECIFICATION AND QUALITY ASSURANCE OF TIMING CONSTRAINTS IN REAL-TIME SYSTEMS-DEVELOPMENT SOFTWARE-PRACTICE & EXPERIENCE, 1992, 22 (11): : 963 - 984
- [39] Real-time 3-D Feature Detection and Correspondence Refinement for Indoor Environment-Mapping using RGB-D cameras 2013 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2013,