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 2 results:
BibTeX
Filters:
Author
is
Axel Legay
[Clear All Filters]
2017
Verification of interlocking systems using statistical model checking
,
Cappart, Quentin
,
Limbree Christophe
,
Schaus Pierre
,
Quilbeuf Jean
,
Traonouez Louis-Marie
, and
Legay Axel
, 18th IEEE International Symposium on High Assurance Systems Engineering, (2017)
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