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