Search

Now showing items 1-5 of 5

International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)

A Bondavalli; Majzik, István; A van Moorsel (2008)

An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications

Kovács, Máté Amadé; P Lollini; Majzik, István; A Bondavalli (Association for Computing Machinery, 2008)

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)

Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems

P Lollini; L Montecchi; Magyar, Melinda; Majzik, István; A Bondavalli (L'Harmattan Kiadó, 2008)