Téléchargez le livre : Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

de

,

Éditeur :

Springer


Paru le : 2023-02-25

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
189,89 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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.
Pages
235 pages
Collection
n.c
Parution
2023-02-25
Marque
Springer
EAN papier
9783031230073
EAN PDF
9783031230080
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
23
Taille du fichier
3308 Ko
Prix
189,89 €
EAN EPUB
9783031230080
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
23
Taille du fichier
27607 Ko
Prix
189,89 €

Suggestions personnalisées