Embedded Systems Development Tools: A MODUS-oriented Market Overview
Year of publication: |
2014
|
---|---|
Authors: | Loupis, Michalis |
Published in: |
Business Systems Research. - Society for Promotion of Business Information Technology (BIT), ISSN 1847-8344. - Vol. 5.2014, 1, p. 6-20
|
Publisher: |
Society for Promotion of Business Information Technology (BIT) |
Subject: | embedded systems | formal verification | co-simulation | performance optimization | code generation |
-
The MODUS Approach to Formal Verification
Brewka, Lukasz, (2014)
-
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Grobosch, Sebastian Patrick, (2019)
-
Patent Protection, Market Uncertainty, and R&D Investment
Czarnitzki, Dirk, (2008)
- More ...
-
Special Issue Editorial: Embedded Systems Applications: Future Society Applications
Loupis, Michalis, (2014)
-
Archimedes Interdisciplinary Research Programme Forges a Broad Spectrum of Academic Innovations
Loupis, Michalis, (2015)
- More ...