Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis

Aachen / RWTH Aachen University, Department of Computer Science (2019) [Buch, Doktorarbeit, Bericht]

Seite(n): 1 Online-Ressource (xxiii, 156 Seiten) : Illustrationen, DiagrammeReport-Nummer: AIB-2019-04

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Dernehl, Christian Michael

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-05178