Login / Signup
Nicolas Mareau
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 6
Top Topics
Provably Correct
Formal Verification
Model Checker
Environmental Information
Top Venues
ICSOFT
STAF Workshops
Sensors
FedCSIS (Communication Papers)
</>
Publications
</>