Ada-Europe 2018 workshops proceedings of the "Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" : proceedings of the "Runtime Verification and Monitoring Technologies for Embedded Systems Workshop"
Gespeichert in:
Körperschaften: | , , |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Bangor
Ada Europe
2018
|
Schriftenreihe: | Ada user journal
volume 39, number 4 (December 2018) |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | Seite 211-306 Illustrationen, Diagramme |
---|