Verteilte Laufzeitverifikation auf eingebetteten Systemen
Malte Schmitz
Springer Fachmedien Wiesbaden, 2016
73,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783658128517
- ISBN-10
- 3658128518
- Publisher
- Springer Fachmedien Wiesbaden
- Year
- 2016
- Publication date
- 2016-04-29
- Pages
- 163
- Dimensions
- 210x148x