Treffer 1 - 3 von 3 für Suche 'Karos, Thomas', Suchdauer: 0,17s Treffer weiter einschränken
  1. 1
    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
    von Ferdinand, Christian
    Veröffentlicht 18122020
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Safety-Critical Software Development in C++
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Schlussbericht zum Verbundprojekt "Integrierte energiesparende Multi-Prozessorplattform für autonomes elektrisches Fahren - EMPHASE" : Teilprojekt "Erweiterung von Werkzeugen zur statischen Analyse von Software gemäß den Anforderungen des Projekts" : Laufzeit des Vorhabens: 01.01.2017-31.03.2020 ; Bundesministerium für Bildung und Forschung im Rahmen der Fördermaßnahme IKT2020 für den Förderbereich "Elektroniksystem
    von Cullmann, Christoph
    Veröffentlicht 13082020
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: