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.
Read More
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.
Read Less
Add this copy of Understanding Behaviour of Distributed Systems Using to cart. $92.57, new condition, Sold by ASHFORD BOOK STORE rated 5.0 out of 5 stars, ships from Weybridge, SURREY, UNITED KINGDOM, published 2023 by Springer International Publishing AG.
Add this copy of Understanding Behaviour of Distributed Systems Usi to cart. $160.69, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2024 by Springer International Publishing AG.
![Understanding Behaviour of Distributed Systems Using McRl2: 458 (Studies in Systems, Decision and Control, 458) [Hardcover] [Feb 26, 2023] Atif, Muhammad and Groote, Jan Friso](https://www.alibris-static.com/isbn/9783031230073_t.gif)
