Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
2017
Quilbeuf, Jean
Jafri, Nisrine
Ferrari, Alessio
Contribution à ouvrage collectif (Book Chapter)
1985
Lefer, Marie-Aude
1991
2019
Meunier, Nicolas
De Knop, Sabine
Accès libre
Legay, Axel
You are here
Home
»
Search
»
Search results
»
*:*
»
^2017
»
^Quilbeuf, Jean
»
^Jafri, Nisrine
»
Ferrari, Alessio
»
^Contribution à ouvrage collectif (Book Chapter)
»
^1985
»
^Lefer, Marie-Aude
»
^1991
»
2019
»
^Meunier, Nicolas
»
^De Knop, Sabine
»
Accès libre
»
Legay, Axel
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
1
result.
Speech
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Uppaal SMC
Legay, Axel
[UCL]
Ter Beek, Maurice
Ferrari, Alessio
Basile, Davide
(2019)
Formal Methods for Industrially Critical Systems —