Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems.
(xsd:string)
Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems.
(xsd:string)