Sign in
Frédéric Mangano
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Case Study
Formal Verification
Model Checker
Coloured Petri Nets
Top Venues
CRiSIS
</>
Publications
</>
Frédéric Mangano
,
Simon Duquennoy
,
Nikolai Kosmatov
Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study.
CRiSIS
(2016)