Login
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Mueller-Gritschneder, Daniel; Schlichtmann, Ulf; Listl, Alexandra; Mettler, Marcel; Zhang, Li
- Titel:
- Generation of Distributed Monitors and Run-Time Verification of Invasive Applications
- Seitenangaben Beitrag:
- 229 -- 253
- Kapitel Beitrag:
- 8
- Herausgeber:
- Jürgen Teich, Jörg Henkel, Andreas Herkersdorf
- Buchtitel:
- Invasive Computing
- Verlag / Institution:
- FAU University Press
- Jahr:
- 2022
- Monat:
- August
BibTeX