共 50 条
- [21] Taming the Component Timing: A CBD Methodology for Real-time Embedded Systems 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1649 - 1652
- [22] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems Design Automation for Embedded Systems, 2010, 14 : 193 - 227
- [24] Framework-based development of embedded real-time systems Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2968 : 244 - 253
- [25] TAXYS: A tool for the development and verification of real-time embedded systems COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 391 - 395
- [26] Behavior-driven Development for Real-time Embedded Systems 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 59 - 66
- [27] A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems 2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 39 - 46
- [28] Framework-based development of embedded real-time systems REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 244 - 253
- [30] Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2008, : 270 - 279