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)
-
Financial incentives for the development of blockchain-based platforms
Canidio, Andrea, (2018)
- More ...
-
Archimedes Interdisciplinary Research Programme Forges a Broad Spectrum of Academic Innovations
Loupis, Michalis, (2015)
-
Special Issue Editorial: Embedded Systems Applications: Future Society Applications
Loupis, Michalis, (2014)
- More ...