You are here

Home

Publications

Export 1 results:
Filters: Author is Jean Quilbeuf  [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)