81–100 von 174 Ergebnissen
|

    AutomotiveHMI : Modellgetriebene HMI-Entwicklung im Automobilbereich ; Verbundprojekt ; Abschlussbericht ; Berichtszeitraum: von: 01.01.2011 bis: 31.12.2013

    Freier Zugriff
    Fraunhofer-Institut für Experimentelles Software Engineering | TIBKAT | 2014

    Formal Methods for Safety and Security : Case Studies for Aerospace Applications

    Nanda, Manju / Jeppu, Yogananda | SLUB | 2018

      Formal methods for safety and security : case studies for aerospace applications

      Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung | TIBKAT | 2018

    Entwicklung einer Smartphone-App zur Durchführung von Fußverkehrs-Checks : Inhalte, Gliederung und Methoden der GehCheck-App : Schlussbericht

    Freier Zugriff
    Stimpel, Roland / Deutschland, Umweltbundesamt / Fußgängerschutzverein FUSS | TIBKAT | 2023

    2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability (WDTS-RASD) : 18 - 19 Nov. 2012, Niigata, Japan ; held as a co-located event during the 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)

    Institute of Electrical and Electronics Engineers / IEEE Computer Society, Technical Committee on Dependable Computing and Fault Tolerance / International Federation for Information Processing, Working Group Dependable Computing and Fault Tolerance | TIBKAT | 2012

    2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability (WDTS-RASD 2012) : Niigata, Japan, 18 - 19 November 2012 ; [held as a co-located event during the 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)]

    Institute of Electrical and Electronics Engineers / IEEE Computer Society, Technical Committee on Dependable Computing and Fault Tolerance / International Federation for Information Processing, Working Group Dependable Computing and Fault Tolerance | TIBKAT | 2012