共 50 条
- [31] An Algebraic Framework for the Real-Time Solution of Inverse Problems on Embedded Systems 2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 1097 - 1102
- [33] The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems Design Automation for Embedded Systems, 2000, 5 : 237 - 250
- [35] REAR framework for emulation and analysis of embedded hard real-time systems Proceedings of the International Workshop on Rapid System Prototyping, 1999, : 100 - 107
- [37] TAXYS: A tool for the development and verification of real-time embedded systems COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 391 - 395
- [38] Behavior-driven Development for Real-time Embedded Systems 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 59 - 66
- [39] 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