Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Correctness of Data Flows in A...
  • Inhaltsangabe

Treffer: Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis

Titel:
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis / Manuel Gieseking ; Ernst-Rüdiger Olderog, Bernd Finkbeiner
Beteiligt:
Gieseking, Manuel (Verfasser) ; Olderog, Ernst-Rüdiger (Akademischer Betreuer) ; Finkbeiner, Bernd (Akademischer Betreuer) 
Veröffent­licht:
Oldenburg : BIS der Universität Oldenburg, 2022
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Oldenburg, Universität Oldenburg, 2022
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen