Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif & Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif & Jan Friso Groote
Paperback
|
Engels
€ 210,95
- Vanaf €15,- geen verzendkosten.
- 30 dagen ruiltermijn voor fysieke producten
Omschrijving
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.
The underlying technique is based on verifying requirements through model checking.