Runtime Verification

Jyotirmoy V. Deshmukh (Redakteur:in), Dejan Nickovic (Redakteur:in)

Publikation: Bücher und BerichteBuch

OriginalspracheEnglisch
VerlagSpringer
Seitenumfang535
PublikationsstatusVeröffentlicht - 2020

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren