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

Anzeige der Dokumente 1-2 von 2

«
»

5th Workshop on Avionics Systems and Software Engineering (AvioSE'23)

Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
116-117
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-2 von 2

«
»