User menu

Verification of Interlocking Systems Using Statistical Model Checking

Bibliographic reference Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; et. al. Verification of Interlocking Systems Using Statistical Model Checking.IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) (Singapore, du 11/01/2017 au 14/01/2017).
Permanent URL http://hdl.handle.net/2078.1/181537