SSERL
Home
Members
Seminar
Publications
Software
Funding
A Lesson on Verification of IoT Software with Frama-C
Allan Blanchard
,
Nikolai Kosmatov
,
Frédéric Loulergue
January 2018
PDF
DOI
Type
Conference paper
Publication
2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018
Cite
×