Verteilte Laufzeitverifikation auf eingebetteten Systemen
Subtitle: Logiken und Monitorkonstruktionen für asynchrone Prozesse
Publisher: Springer Vieweg
Published: Apr 22, 2016
Format: paperback
Number of pages: 188
ISBN-13: 9783658128517
Notes: Source title: Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse (BestMasters) (German Edition)