Login
- Document type:
- Buchbeitrag
- Author(s):
- Mueller-Gritschneder, Daniel; Schlichtmann, Ulf; Listl, Alexandra; Mettler, Marcel; Zhang, Li
- Title:
- Generation of Distributed Monitors and Run-Time Verification of Invasive Applications
- Pages contribution:
- 229 -- 253
- Chapter contribution:
- 8
- Editor:
- Jürgen Teich, Jörg Henkel, Andreas Herkersdorf
- Book title:
- Invasive Computing
- Publisher:
- FAU University Press
- Year:
- 2022
- Month:
- August
BibTeX