Statistics
Publications
1
Citations
101
H-Index
1
Active since
2012
Affiliations
Nicolas Navet is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, embedded systems, and system software.
Publications per year
2012–2012
1
1