Treffer: Formal software engineering of distributed systems using focus-streams and automata
Titel:
Formal software engineering of distributed systems using focus-streams and automata / Sebastian Stüber ; Bernhard Rumpe, Radu Grosu
Verantwortlich:
Veröffentlicht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2025
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Düren. Shaker Verlag, 2025 (Aachener Informatik-Berichte, Software Engineering; 63)
Hochschulschrift:
Dissertation, RWTH Aachen University, 2025
Schlagworte:
DOI:
10.18154/RWTH-2025-10702