Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux. Reactive embedded device driver synthesis using logical timed models. In 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014. pages 163-169, IEEE, 2014. [doi]
@inproceedings{TanguyBBR14,
title = {Reactive embedded device driver synthesis using logical timed models},
author = {Julien Tanguy and Jean-Luc Béchennec and Mikaël Briday and Olivier H. Roux},
year = {2014},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7095014},
researchr = {https://researchr.org/publication/TanguyBBR14},
cites = {0},
citedby = {0},
pages = {163-169},
booktitle = {4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014},
publisher = {IEEE},
isbn = {978-989-758-060-4},
}