selected publications
-
chapter
- Formal Methods for Railway Disasters Prevention. IFIP advances in information and communication technology. 161-176. 2019
Close
Coudert, Sophie
Positions
Publications
Contact
full name
- Sophie Coudert
Publications in VIVO
Co-author Network