Mathieu Comptier
According to our database1,
Mathieu Comptier
authored at least 4 papers
between 2017 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2017
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017