Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study.

Frank P. M. Stappers Michel A. Reniers Jan Friso Groote

Published in: FMCO (2009)

Keyphrases

case study
design process
real world
practical guidelines
data sets
design space
design methodology
lessons learned
computer aided
software architecture
high speed
knowledge management
mobile robot
learning environment
website
decision making
learning algorithm