Meinten Sie:
keywords:("schlanke")
Formal methods and temporal safety requirements: A level crossing application
Basic requirements for the use of formal tools in safety procedures of the railway systems