-
Process control engineering: contribution to a formal structuring framework w...
Colloque avec actes et comité de lecture. -
An ontology for the ERTMS/ETCS
Le présent article a pour but de décrire les travaux de recherche et développement d’une ontologie du système européen de contrôle-commande et signalisation... -
Formalizing a subset of ERTMS/ETCS specifications for verification purposes
ERTMS is the standard railway control-command and signaling system which aims to ensure railway interoperability throughout Europe while enhancing safety and... -
Virtual lab based on co-simulation to include impairments of wireless telecom...
International audience
