Search
Now showing items 11-20 of 40
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)
Hierarchical Checking of Multiprocessors Using Watchdog Processors
(Springer, 1994)