| Original language | English |
|---|---|
| Publisher | Springer |
| Number of pages | 535 |
| Publication status | Published - 2020 |
Research Field
- Dependable Systems Engineering
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Runtime Verification
- Jyotirmoy V. Deshmukh (Editor)
- , Dejan Nickovic (Editor)
- University of Southern California
Research output: Books and Reports › Book