Understanding Behaviour of Distributed Systems Using mCRL2

Author : Jan Friso Groote,Muhammad Atif

Paperback

Published : Tuesday 27 February 2024

ISBN : 9783031230103

Price : €187.19

Description

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.

You may also like ...

Understanding Behaviour of Distributed ...

by Jan Friso Groote,Muhammad Atif

Paperback

27 Feb 2024

Mathematical foundations

€187.19

Extended stock – Dispatch 5-7 days

Understanding Behaviour of Distributed ...

by Jan Friso Groote,Muhammad Atif

Hardback

26 Feb 2023

Mathematical foundations

€187.19

Extended stock – Dispatch 5-7 days

Tito

by Friso Keuris

Paperback

13 Jul 2022

Photography and photographs

€60.84

Extended stock – Dispatch 5-7 days

Nutrient-Gene Interactions in Cancer

by Sang-Woon Choi,Simonetta Friso

Paperback

18 Dec 2020

Dietetics and nutrition

€66.68

Extended stock – Dispatch 5-7 days

Reviews