1–20 von 469 Ergebnissen
|

    OPTIMISATION OF A FINITE-VOLUME TEST-BENCH CODE FOR HIGHLY PARALLEL ARCHITECTURES

    Kedward, Laurence / Allen, Christian B. | TIBKAT | 2021

    Computer systems : papers presented at the AIAA SciTech Forum and Exposition 2022 : San Diego, California, USA and online, 3-7 January 2022

    AIAA SciTech Forum and Exposition / American Institute of Aeronautics and Astronautics | TIBKAT | 2022

    IMPACT OF ADVERSE WEATHER ON COMMERCIAL HELICOPTER PILOT DECISION- MAKING AND STANDARD OPERATING PROCEDURES

    Speirs, Andrew / Ramée, Coline / Payan, Alexia P. et al. | TIBKAT | 2021

    FORMAL VERIFICATION OF A MERGE SORT ALGORITHM IN SPARK

    Baity, Ryan / Humphrey, Laura R. / Hopkinson, Kenneth | TIBKAT | 2021

    ProMethEuS - Software-Produktlinien und Methoden zur Entwicklung sicherer Systeme in der Luft- und Raumfahrt : Schlussbericht

    Freier Zugriff
    Schweiger, Andreas / Airbus Defence & Space | TIBKAT | 2021

    SECURE COMMUNICATIONS IN UNMANNED AERIAL SYSTEM SWARMS

    Rajashekar, Sagar Calnoor / Tourani, Reza / Gururajan, Srikanth | TIBKAT | 2020

    KOMKAB - Kommunizierende Kabine : Schlussbericht für den Berichtszeitraum 01.01.2016-30.09.2019 zum Vorhaben

    Freier Zugriff
    Kornemann, Stephan / IHP GmbH | TIBKAT | 2020