共 50 条
- [44] Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 22 - 31
- [47] A real-time model-based approach for the reconstruction of fluid flows induced by microorganisms Experiments in Fluids, 2008, 45 : 203 - 222
- [48] A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
- [49] COMPUTER-SYSTEMS FOR REAL-TIME PROCESS-CONTROL AND SUPERVISION - A FRAMEWORK FOR EDUCATION BASED ON A SYSTEMS-ENGINEERING APPROACH MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 829 - 833