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:
Bibliographische Detailangaben
Körperschaften: Ada-Europe (VerfasserIn), Workshop on Challenges and New Approaches for Dependable and Cyber-Physical Systems Engineering (VerfasserIn), Runtime Verification and Monitoring Technologies for Embedded Systems Workshop (VerfasserIn)
Weitere Verfasser: Pinho, Luis Miguel (HerausgeberIn)
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
Beschreibung:Seite 211-306
Illustrationen, Diagramme