Search
Now showing items 51-60 of 64
A High-Speed Watchdog Processor for Multitasking Systems
(Híradástechnikai Tudományos Egyesület, 1994)
Automatic Dependability Modeling of Systems Described in UML
(IEEE Computer Society Press, 1998)
Formal Verification of Fault Tolerance Techniques in UML
(Czech Technical University in Prague, 1999)
Concurrent Error Detection of Program Execution Based on Statechart Specification
(Österreichische Computer Gesellschaft (ÖCG), 1999)
A Model Based Framework for Specifying and Executing Fault Injection Experiments
(IEEE Computer Society Press, 2009)
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach
(IEEE Computer Society Press, 2009)
Workflow-Driven Tool Integration Using Model Transformations
(Springer-Verlag, 2010)