Search
Now showing items 31-40 of 40
Design and Analysis of Fault Tolerant Architectures by Model Weaving
(IEEE Computer Society Press, 2005)
Verification of UML Statechart Models of Embedded Systems
(Brno University of Technology, 2002)
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
(Gesellschaft für Informatik, 2006)
Model Checking of Replication Management
(LAAS-CNRS, 2002)
Dependability Modeling Using Aspect Weaving Techniques
(Springer, 2005)
Completeness and Consistency Analysis of UML Statechart Specifications
(BME VIK TTT, 2000)
A Model Based Framework for Specifying and Executing Fault Injection Experiments
(IEEE Computer Society Press, 2009)
Megbízhatósági modellek automatikus generálása gráftranszformációval
(Erdélyi Múzeum-Egyesület (EME), 2004)
