Christophe Limbrée
According to our database1,
Christophe Limbrée
authored at least 6 papers
between 2015 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
2019
2018
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018
2017
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017
2016
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
2015
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015