共 50 条
- [41] Resource-Aware Control - Model-Based Co-Engineering of Control Algorithms and Real-Time Systems SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2015, 8 (01): : 106 - 114
- [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
- [46] A model-based development approach for the verification of real-time Java']Java code CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (13): : 1583 - 1606
- [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
- [50] Model-based requirements specification of real-time systems with UML, SysML and MARTE SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 343 - 361