共 50 条
- [41] Comparisons of model-based explicit integration algorithms in real-time substructure testing Gongcheng Lixue/Engineering Mechanics, 2020, 37 : 1 - 5and12
- [42] T-UPPAAL: Online model-based testing of real-time systems 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 396 - 397
- [43] Model-Based Testing of Safety Critical Real-Time Control Logic Software ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (80): : 130 - 144
- [44] A real-time model-based virtual phone PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 921 - 925
- [46] Model-based Design for Real-time Software INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (08): : 91 - 95
- [47] Model-Based Design of Real-Time Systems 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : XVI - XVI
- [49] Model-Based Implementation of Real-Time Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 332 - 345
- [50] Distributed real-time model-based diagnosis 2003 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-8, 2003, : 349 - 355