Meinten Sie:
keywords:("schlanke")
Two models of accessibility to railway traveling for vulnerable, elderly persons
Breaking down the barriers to safer crossing
A method for failure detection based on monitoring data from existing facilitie
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