![](/img/cover-not-exists.png)
[SCITEPRESS - Science and and Technology Publications 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Vienna, Austria (2014.8.28-2014.8.30)] Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Reactive Embedded Device Driver Synthesis using Logical Timed Models
Tanguy, Julien, Béchennec, Jean-Luc, Briday, Mikaël, Roux, Olivier H.Year:
2014
Language:
english
DOI:
10.5220/0005040101630169
File:
PDF, 140 KB
english, 2014