Profiles
Contents from Quentin Cappart on this site
Publications
2016
- Verification of railway interlocking - Compositional approach with OCRA. Christophe Limbrée?, Quentin Cappart, Charles Pecheur, Stefano Tonetta?. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification.
2015
- Verification of railway interlocking systems. Simon Busard, Quentin Cappart, Christophe Limbrée?, Charles Pecheur, Pierre Schaus. Proceedings 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway, June 22, 2015.