According to our database1, Nicolas Breton authored at least 4 papers between 2015 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
Proceedings of the Formal Methods for Industrial Critical Systems, 2015