1 résultat(s)
Télécharger le livre : Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif , Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process...
Editeur : Springer
Parution : 2023-02-25

Format(s) : PDF, ePub
189,89 €
Téléchargement immédiat
Dès validation de votre commande