Quentin Cappart
, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez and Axel Legay
Paper (2017)
Document published while its authors were not affiliated with Polytechnique Montréal
An external link is available for this item
| ISBN: | 9781509046362 |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/46666/ |
| Conference Title: | 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017) |
| Conference Location: | Singapore |
| Conference Date(s): | 2017-01-12 - 2017-01-14 |
| Publisher: | IEEE |
| DOI: | 10.1109/hase.2017.10 |
| Official URL: | https://doi.org/10.1109/hase.2017.10 |
| Date Deposited: | 18 Apr 2023 15:04 |
| Last Modified: | 08 Apr 2025 12:22 |
| Cite in APA 7: | Cappart, Q., Limbrée, C., Schaus, P., Quilbeuf, J., Traonouez, L.-M., & Legay, A. (2017, January). Verification of Interlocking Systems Using Statistical Model Checking [Paper]. 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017), Singapore. https://doi.org/10.1109/hase.2017.10 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
