共 50 条
- [41] Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems [J]. SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 22 - 31
- [44] Real-time communication in real-time control and analysis system for power systems [J]. Dianli Xitong Zidonghue/Automation of Electric Power Systems, 2002, 26 (08): : 6 - 10
- [45] A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems [J]. 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
- [46] Model-based requirements specification of real-time systems with UML, SysML and MARTE [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 343 - 361
- [47] Real-time Model-based Estimation of SOC and SOH for Energy Storage Systems [J]. 2015 IEEE 6TH INTERNATIONAL SYMPOSIUM ON POWER ELECTRONICS FOR DISTRIBUTED GENERATION SYSTEMS (PEDG), 2015, : 65 - 72
- [48] COMPUTER-INTERFACE ENGINEERING FOR REAL-TIME SYSTEMS - A MODEL-BASED APPROACH [J]. UNIVERSITY COMPUTING, 1988, 10 (04): : 205 - 206
- [49] Model-based requirements specification of real-time systems with UML, SysML and MARTE [J]. Software & Systems Modeling, 2018, 17 : 343 - 361
- [50] Model-based Verification of Energy-aware Real-Time Automotive Systems [J]. 2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 135 - 144