![](/img/cover-not-exists.png)
[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Formal verification of complex robotic systems on resource-constrained platforms
Foughali, Mohammed, Berthomieu, Bernard, Zilio, Silvano Dal, Hladik, Pierre-Emmanuel, Ingrand, Félix, Mallet, AnthonyYear:
2018
Language:
english
DOI:
10.1145/3193992.3193996
File:
PDF, 656 KB
english, 2018