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

Bonn : Gesellschaft für Informatik e.V. (2023)
Beitrag zu einem Tagungsband

In: [Software Engineering 2023 Workshops]
Seite(n)/Artikel-Nr.: 169-188

Identifikationsnummern

Quellen