×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [statespace explosion]
Home >
statespace explosion
Concur 2001 August 21, 2001 Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains Holger Hermanns and Joost-Pieter Katoen with.
212 views
Doctoral course ’Advanced topics in Embedded Systems’. Lyngby'08 Synthesis of Test Purpose Directed Reactive Planning Tester for Nondeterministic Systems.
218 views
Hierarchical and Recursive State Machines with Context- Dependent Properties Salvatore La Torre, Margherita Napoli, Mimmo Parente and Gennaro Parlato Dipartimento.
226 views
2 April, 2008AADL/UML workshop - Belfast1 Arcade: A formal, extensible, model-based dependability evaluation framework Hichem Boudali 1, Pepijn Crouzen.
219 views
Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains
12 views
ECCP A Formally-Verified Migration Protocol For Mobile , Multi -Homed Hosts
41 views
Table of Contents Backhouse
234 views
Synthesis of Test Purpose Directed Reactive Planning Tester for Nondeterministic Systems
30 views