1–20 von 77 Ergebnissen
|

    Verbundprojekt: ACTRESS - Architecture and Testbed for Realtime Safe : Schlussbericht : Havarie eines Containerschiffes

    Freier Zugriff
    Lehmann, B. / Leipold, B. / Atlas-Elektronik GmbH, Bremen | TIBKAT | 2021

    Trustworthy spacecraft design using formal methods

    Freier Zugriff
    Nguyen, Viet Yen | TIBKAT | 2013

    SYMO4PD - system modeling for preliminary design : Abschlussbericht

    Freier Zugriff
    Berres, Axel / Institut für Flugsystemtechnik | TIBKAT | 2017

    Secure System Concepts : Schlussbericht SESYC : Laufzeit des Vorhabens: 04.07.2014 bis 31.12.2017

    Freier Zugriff
    Michalka, Gunther / Airbus Helicopters Deutschland GmbH | TIBKAT | 2018