Search

Now showing items 1-3 of 3

A Resilient SIL 2 Driver Machine Interface for Train Control Systems

A Ceccarelli; Majzik, István; D Iovino; F Caneschi; Pintér, Gergely; A Bondavalli (IEEE Computer Society Press, 2008)

Formal Methods in the Evaluation of a Safe Driver Machine Interface

Majzik, István; A Bondavalli; S Klapka; T K Madsen; D Iovino (L'Harmattan Kiadó, 2008)

Design and Evaluation of a Safe Driver Machine Interface

A Bondavalli; A Ceccarelli; J Gronbaek; D Iovino; L Karna; S Klapka; T K Madsen; Magyar, Melinda; Majzik, István; A Salzo (2009)