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
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | , , , |
| Format: | UnknownFormat |
| Sprache: | ger |
| Veröffentlicht: |
Saarbrücken
AbsInt Angewandte Informatik GmbH
18.12.2020
|
| Ausgabe: | Version 1.0 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Förderkennzeichen BMBF 16ES0160 Verbundnummer 01178114 Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden |
|---|---|
| Beschreibung: | 11 Seiten, 2 ungezählte Blätter |