Search
Now showing items 41-50 of 64
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)
Hierarchical Checking of Multiprocessors Using Watchdog Processors
(Springer, 1994)
Towards a Formal Operational Semantics of UML Statechart Diagrams
(Kluwer Academic Publishers, 1999)
Reachability and Timing Analysis in Data Flow Networks: A Case Study
(IEEE Computer Society Press, 1996)
Hardware Accelerators for Petri-net Analysis
(Univ. Wien, 1998)