Auflistung Nach Schlagwort "formal methods" - Digitale Bibliothek

Anzeige der Dokumente 1-3 von 3

1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19)

Annighöfer, Björn; Schweiger, Andreas; Reich, Marina
33-35
SmartOS: An OS Architecture for Sustainable Embedded Systems

Scheipel, Tobias; Batista Ribeiro, Leandro; Sagaster, Tim; Baunach, Marcel
Tool Support for Correctness-by-Construction

Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
93-94

Anzeige der Dokumente 1-3 von 3