<  Back to the Polytechnique Montréal portal

Items where Author is "Quilbeuf, Jean"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: C
Number of items: 1.

C

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. External link

List generated on: Wed Dec 11 09:19:47 2024 EST