Understanding Behaviour of Distributed Systems Using mCRL2

AvMuhammad Atif,Jan Friso Groote

Häftad, Engelska, 2024

1 901 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Beskrivning

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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av