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)
Contribution to a conference proceedings

In: [Software Engineering 2023 Workshops]
Page(s)/Article-Nr.: 169-188