Studies in Systems, Decision and Control- Understanding Behaviour of Distributed Systems Using mCRL2

Name: Studies in Systems, Decision and Control- Understanding Behaviour of Distributed Systems Using mCRL2
Author: Jan Friso Groote

Auteur: Muhammad Atif

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Muhammad Atif Jan Friso Groote

Engels
Hardcover
9783031230073
26 februari 2023
198 pagina's

Alle productspecificaties

Samenvatting

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.

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 26 februari 2023
Aantal pagina's: 198

Betrokkenen

Hoofdauteur: Muhammad Atif
Tweede Auteur: Jan Friso Groote
Hoofduitgeverij: Springer International Publishing Ag

Overige kenmerken

Editie: 1st ed. 2023
Product breedte: 155 mm
Product lengte: 235 mm
Studieboek: Nee
Verpakking breedte: 155 mm
Verpakking hoogte: 235 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 593 g

EAN

EAN: 9783031230073

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Biologie

Wiskunde

Computersimulatie

Wiskunde voor computerwetenschappers

Grondslagen van de wiskunde

Toegepaste wiskunde

Wiskundige logica

Stochastisch proces

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.