Inductive invariants for noninterference in multi-agent workflows

Christian Muller, Helmut Seidl, Eugen Zalinescu

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

10 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Inductive invariants for noninterference in multi-agent workflows“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science