Dependability modelling with the stochastic process algebra tool CASPA.

Johann Schuster Markus Siegle

Published in: DYADEM-FTS@EDCC (2010)

Keyphrases

process algebra
formal specification
concurrent systems
model checking
asynchronous circuits
database
software engineering
general purpose
grid workflow
concurrent programs
failure modes and effects
fine grained
ambient intelligence
formal methods