Benutzer: Gast  Login
Titel:

Generation of Distributed Monitors and Run-Time Verification of Invasive Applications

Dokumenttyp:
Buchbeitrag
Autor(en):
Mueller-Gritschneder, Daniel; Schlichtmann, Ulf; Listl, Alexandra; Mettler, Marcel; Zhang, Li
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