Skip to main content
Belgian Constraints Group @ UCLouvain
Search form
Search
Navigation
Home
Members
Research Topics
Publications
Resources
Teaching
Log in
You are here
Home
Publications
Export 3 results:
BibTeX
Filters:
Author
is
Christophe Limbrée
[Clear All Filters]
2016
Verification of railway interlocking-compositional approach with OCRA
,
Limbrée, Christophe
,
Cappart Quentin
,
Pecheur Charles
, and
Tonetta Stefano
, International Conference on Reliability, Safety and Security of Railway Systems, p.134–149, (2016)
BibTeX
2015
Verification by discrete simulation of interlocking systems
,
Cappart, Quentin
,
Limbrée Christophe
,
Schaus Pierre
, and
Legay Axel
, 29th European Simulation and Modelling Conference, (2015)
BibTeX
Verification of railway interlocking systems
,
Busard, Simon
,
Schaus Pierre
,
Cappart Quentin
,
Limbrée Christophe
, and
Pecheur Charles
, 4th International Workshop on Engineering Safety and Security Systems, (2015)
BibTeX