Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen fur asynchrone Prozesse - BestMasters - Malte Schmitz - Books - Springer Fachmedien Wiesbaden - 9783658128517 - April 29, 2016
In case cover and title do not match, the title is correct

Malte Schmitz
Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen fur asynchrone Prozesse - BestMasters 1. Aufl. 2016 edition

Price
$ 62.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Sep 8 - 14
Get notified about new Malte Schmitz releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 29, 2016
ISBN13 9783658128517
Publishers Springer Fachmedien Wiesbaden
Pages 163
Dimensions 150 × 220 × 10 mm   ·   254 g
Language German  

More from the same publisher

See all of Malte Schmitz ( e.g. Paperback Book )