Localizing Faults in Simulink/Stateflow Models with STL

Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath (Vortragende:r), Dejan Nickovic

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
TitelProceedings of the 21st International Conference on Hybrid Systems: Computation and Control
Seiten197-206
Seitenumfang10
DOIs
PublikationsstatusVeröffentlicht - 2018
VeranstaltungHSCC 2018 -
Dauer: 11 Apr. 201813 Apr. 2018

Konferenz

KonferenzHSCC 2018
Zeitraum11/04/1813/04/18

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren