共 50 条
- [31] A Standards-Based, Fully-Open Software Platform for Smart Embedded Systems CASES'12: PROCEEDINGS OF THE 2012 ACM INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURES AND SYNTHESIS FOR EMBEDDED SYSTEMS, 2012, : 5 - 5
- [32] A Standards-Based, Fully-Open Software Platform for Smart Embedded Systems CODES+ISSS'12:PROCEEDINGS OF THE TENTH ACM INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE-CODESIGN AND SYSTEM SYNTHESIS, 2012, : 5 - 5
- [33] Computation platform for automatic analysis of embedded software systems using model based approach AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 114 - 128
- [36] Robust and Sustainable Schedulability Analysis of Embedded Software LCTES'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN-SIGBED CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, 2008, : 61 - 70
- [37] Software synthesis for embedded systems ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 643 - 646
- [39] Assessment of software for embedded systems SENSORS AND MEASURING SYSTEMS 2004, 2004, 1829 : 77 - 84
- [40] Embedded Systems Software Architecture JOURNAL OF SYSTEMS ARCHITECTURE, 2013, 59 (10) : 1013 - 1014