Login / Signup
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.
Christoph Brandt
Frank Hermann
Jan Friso Groote
Published in:
J. Res. Pract. Inf. Technol. (2011)
Keyphrases
</>
graph transformation
process algebra
business continuity
model checking
formal specification
concurrent systems
real time