Auflistung Nach Schlagwort "formal method" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

3rd Workshop on Avionics Systems and Software Engineering (AvioSE’21)

Annighöfer, Björn; Schweiger, Andreas; Reich, Marina
129-130
5th Workshop on Avionics Systems and Software Engineering (AvioSE'23)

Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
116-117
5th Workshop on Avionics Systems and Software Engineering (AvioSE’23)

Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
139-140
Semi-Formal Representation and Evaluation of Security Properties

Lou, Xinxin; Zid, Ines Ben; Parekh, Mithil; Gao, Yuan
1015-1018

Anzeige der Dokumente 1-4 von 4

«
»