Model-Based Specification and Execution of Embedded Real-Time Systems
Proceedings of the conference on Design, automation and test in Europe - Volume 2
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Introducing embedded systems: a cyber-physical approach: extended abstract
WESE '09 Proceedings of the 2009 Workshop on Embedded Systems Education
SMT-based optimization for synchronous programs
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Concepts and diagram elements for architectural knowledge management
Proceedings of the 5th European Conference on Software Architecture: Companion Volume
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
An architecture design method for critical embedded systems
Proceedings of the WICSA 2014 Companion Volume
| Hi-index | 0.00 |