Auflistung SE 2023 - Workshops Nach Schlagwort "automata" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-1 von 1

«
»

A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System

Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rath, Amelie; Rumpe, Bernhard; Schweiger, Andreas
169-188

Anzeige der Dokumente 1-1 von 1

«
»