1–4 of 4 hits
|

    DATA STORAGE IN A HELMET SYSTEM

    Free access
    DURAND ERIC / BEECHER SCOTT | European Patent Office | 2022

      DATA STORAGE IN A HELMET SYSTEM

      Free access
      DURAND ERIC / BEECHER SCOTT | European Patent Office | 2020

      Data storage in a helmet system

      Free access
      DURAND ERIC / BEECHER SCOTT | European Patent Office | 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. / Beecher, Scott / Fabre, Laurent et al. | British Library Conference Proceedings | 2016

      Practical Uses of Formal Methods in Development of Airborne Software

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