SULJE VALIKKO

avaa valikko

Understanding Behaviour of Distributed Systems Using mCRL2
155,60 €
Springer
Sivumäärä: 235 sivua
Asu: Pehmeäkantinen kirja
Painos: 2023
Julkaisuvuosi: 2024, 27.02.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Studies in Systems, Decision and Control 458

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.



Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Understanding Behaviour of Distributed Systems Using mCRL2zoom
Näytä kaikki tuotetiedot
ISBN:
9783031230103
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste