Statistics
Publications
1
Citations
36
H-Index
1
Active since
2016
Affiliations
Sorbonne Université(Current)
Laure Millet is an author at Sorbonne Université specializing in formal verification, formal specification, and formal methods.
Publications per year
2016–2016
1
1
Formal verification of mobile robot protocols
Béatrice Bérard, Pascal Lafourcade, Laure Millet et al. · Distributed Computing · 2016 · 36 citations · Full text
1–1 of 1