Meinten Sie:
+keyword:("schranke")
•
+keywords:("schlanke")
•
+keyword:("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