Search
Now showing items 41-50 of 64
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)
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)
Workflow-Driven Tool Integration Using Model Transformations
(Springer-Verlag, 2010)
