Muhammad Atif – författare
Visar alla böcker från författaren Muhammad Atif. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 458 - Studies in Systems, Decision and Control
Understanding Behaviour of Distributed Systems Using mCRL2
Inbunden, Engelska, 2023
1 937 kr
Skickas inom 10-15 vardagar
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 communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
E-bok
Engelska, 20232 532 kr
Läs direkt efter köp
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 communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
648 kr
Skickas inom 5-8 vardagar
Del 458 - Studies in Systems, Decision and Control
Understanding Behaviour of Distributed Systems Using mCRL2
Häftad, Engelska, 2024
1 937 kr
Skickas inom 10-15 vardagar
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 communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks.