Runtime Verification

Jyotirmoy V. Deshmukh (Editor), Dejan Nickovic (Editor)

Research output: Books and ReportsBook

Original languageEnglish
PublisherSpringer
Number of pages535
Publication statusPublished - 2020

Research Field

  • Dependable Systems Engineering

Cite this