1–7 von 7 Ergebnissen
|

    DATA STORAGE IN A HELMET SYSTEM

    Freier Zugriff
    DURAND ERIC / BEECHER SCOTT | Europäisches Patentamt | 2020

    Data storage in a helmet system

    Freier Zugriff
    DURAND ERIC / BEECHER SCOTT | Europäisches Patentamt | 2022

    DATA STORAGE IN A HELMET SYSTEM

    Freier Zugriff
    DURAND ERIC / BEECHER SCOTT | Europäisches Patentamt | 2022

    Leveling Arguments: Easier Said Than Done

    Daw, Zamira / Beecher, Scott / Holloway, Michael | IEEE | 2023

    Overarching Properties as means of compliance: An industrial case study

    Daw, Zamira / Beecher, Scott / Holloway, Michael et al. | IEEE | 2021

    Practical Uses of Formal Methods in Development of Airborne Software

    Joyce, Jeffrey J. / Fabre, Laurent / Rajagopalan, Ramesh et al. | SAE Technical Papers | 2016

    Practical Uses of Formal Methods in Development of Airborne Software

    Joyce, Jeffrey J. / Beecher, Scott / Fabre, Laurent et al. | British Library Conference Proceedings | 2016