Schmitz, Malte
Verteilte Laufzeitverifikation auf eingebetteten Systemen
Table of contents
1. Einleitung
Malte Schmitz
2. Logiken
Malte Schmitz
3. Monitore
Malte Schmitz
4. Implementierung
Malte Schmitz
5. Zusammenfassung und Ausblick
Malte Schmitz
Keywords: Computer Science, Theory of Computation, Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks
- Author(s)
- Schmitz, Malte
- Publisher
- Springer
- Publication year
- 2016
- Language
- de
- Edition
- 1
- Series
- BestMasters
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783658128524
- Printed ISBN
- 978-3-658-12851-7
