共 50 条
- [21] Model-based, real-time control of electrical power systems IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1996, 26 (04): : 470 - 482
- [22] Design cost: a systematic approach to technology selection for model-based real-time optimization systems Computers and Chemical Engineering, 1996, 20 (6-7): : 717 - 734
- [24] Model-Based Mutation Testing of Real-Time Systems via Model Checking 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 59 - 68
- [25] A Model-Based Approach Towards Real-Time Analytics in NFV Infrastructures IEEE TRANSACTIONS ON GREEN COMMUNICATIONS AND NETWORKING, 2020, 4 (02): : 529 - 541
- [26] Schedulability in model-based software development for distributed real-time systems PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, : 45 - 52
- [27] Towards Model-based optimisations of Real-Time systems, an application with the AADL 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 129 - 134
- [28] Model-based Mutation Testing of Synchronous and Asynchronous Real-Time Systems 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
- [29] Towards model-based and CCM-based applications for real-time systems ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2003, : 75 - 82
- [30] Modeling of a monitoring scheme for TMO model-based real-time systems NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 269 - 276