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
Paperback
9783031230103
27 februari 2024
235 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: Paperback
Oorspronkelijke releasedatum: 27 februari 2024
Aantal pagina's: 235

Betrokkenen

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

Overige kenmerken

Editie: 24001
Product breedte: 155 mm
Product lengte: 235 mm
Studieboek: Nee
Verpakking breedte: 155 mm
Verpakking hoogte: 13 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 434 g

EAN

EAN: 9783031230103

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.