A survey of challenges for runtime verification from advanced application domains (beyond software)

Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Ylies Falcone, Adrian Francalanza, Srdan Krstic, Joao M. Lourenco, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

OriginalspracheEnglisch
Seiten (von - bis)279-335
Seitenumfang57
FachzeitschriftFormal Methods in System Design
Volume3
Issue54
DOIs
PublikationsstatusVeröffentlicht - 2019

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren