Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet. Formal verification of complex robotic systems on resource-constrained platforms. In Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione, editors, Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. pages 2-9, ACM, 2018. [doi]
@inproceedings{FoughaliBDHIM18,
title = {Formal verification of complex robotic systems on resource-constrained platforms},
author = {Mohammed Foughali and Bernard Berthomieu and Silvano Dal-Zilio and Pierre-Emmanuel Hladik and Félix Ingrand and Anthony Mallet},
year = {2018},
url = {http://ieeexplore.ieee.org/document/8536200},
researchr = {https://researchr.org/publication/FoughaliBDHIM18},
cites = {0},
citedby = {0},
pages = {2-9},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018},
editor = {Stefania Gnesi and Nico Plat and Paola Spoletini and Patrizio Pelliccione},
publisher = {ACM},
}