共 50 条
- [31] The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET), 2014, : 47 - 54
- [32] 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
- [33] A Method for Satisfying Asynchronous and Periodic Timing Requirements in Real-Time Embedded Systems PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2008, : 455 - 462
- [34] TAXYS: A tool for the development and verification of real-time embedded systems COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 391 - 395
- [35] Behavior-driven Development for Real-time Embedded Systems 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 59 - 66
- [36] Extending the MaSE methodology for the development of embedded real-time systems LANGUAGES, METHODOLOGIES AND DEVELOPMENT TOOLS FOR MULTI-AGENT SYSTEMS, 2008, 5118 : 106 - 122
- [37] 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
- [38] Framework-based development of embedded real-time systems REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 244 - 253
- [40] An object oriented integration tool for the development of real-time systems OBJECT-ORIENTED TECHNOLOGY, 1997, : 60 - 65