You are here
Verification of interlocking systems using statistical model checking
| Title | Verification of interlocking systems using statistical model checking |
| Publication Type | Conference Proceedings |
| Year of Conference | 2017 |
| Authors | Cappart, Quentin, Limbree Christophe, Schaus Pierre, Quilbeuf Jean, Traonouez Louis-Marie, and Legay Axel |
| Conference Name | 18th IEEE International Symposium on High Assurance Systems Engineering |