Search
Now showing items 31-40 of 64
An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications
(Association for Computing Machinery, 2008)
A Resilient SIL 2 Driver Machine Interface for Train Control Systems
(IEEE Computer Society Press, 2008)
Formal Methods in the Evaluation of a Safe Driver Machine Interface
(L'Harmattan Kiadó, 2008)
Automated Verification of Complex Behavioral Models Using the SAL Model Checker
(L'Harmattan Kiadó, 2008)
Completeness and Consistency Analysis of UML Statechart Specifications
(SZIF-Universitas Kft., 2001)
Design and Analysis of Fault Tolerant Architectures by Model Weaving
(IEEE Computer Society Press, 2005)