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

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 3 (Software Engineering) [121510]

Identifikationsnummern

Quellen