Schlussbericht zum Verbundprojekt "Qualitätssicherung von cyber-physischen Systemen unter integrativer Berücksichtigung mehrerer nicht-funktionaler Aspekte" Aggregated Quality Assurance for Systems - AQUAS Teilprojekt "Statische Analyse der Sicherheit eines Realzeitbetriebssystems" : Laufzeit des Vorhabens: 01.04.2017-30.06.2020

Bibliographische Detailangaben

1. Verfasser:	Ferdinand, Christian (VerfasserIn)
Körperschaft:	Absint Angewandte Informatik GmbH (Herausgebendes Organ)
Weitere Verfasser:	Heckmann, Reinhold (VerfasserIn), Herter, Jörg (VerfasserIn), Karos, Thomas (VerfasserIn), Martin, Florian (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Saarbrücken AbsInt Angewandte Informatik GmbH 18.12.2020
Ausgabe:	Version 1.0
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!