1–12 von 12 Ergebnissen
|

    Strategie für fehlertolerante Controller

    Freier Zugriff
    DEBOUK RAMI I / BAKER STEPHEN M / JOYCE JEFFREY | Europäisches Patentamt | 2024

    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

    Safety Analysis of Software-intensive Motion Control Systems

    Czerny, Barbara / Joyce, Jeffrey / D’Ambrosio, Joseph et al. | SAE Technical Papers | 2009

    A two-level formal verification methodology using HOL and COSMOS

    Seger, Carl-Johan / Joyce, Jeffrey J. | TIBKAT | 1991

    Methods and apparatus for isolating safety functions in a motion control system for a vehicle

    Freier Zugriff
    DEBOUK RAMI I / FUHRMAN THOMAS E / BAKER STEPHEN M et al. | Europäisches Patentamt | 2016

    METHODS AND APPARATUS FOR ISOLATING SAFETY FUNCTIONS IN A MOTION CONTROL SYSTEM FOR A VEHICLE

    Freier Zugriff
    DEBOUK RAMI I / FUHRMAN THOMAS E / BAKER STEPHEN M et al. | Europäisches Patentamt | 2015

    VERFAHREN ZUM SICHERSTELLEN EINES BETRIEBS VON FAHRZEUGEN MIT AUTONOMEM FAHREN MIT BESCHRÄNKTEN FÄHIGKEITEN

    Freier Zugriff
    DEBOUK RAMI I / CZERNY BARBARA J / D'AMBROSIO JOSEPH G et al. | Europäisches Patentamt | 2018

    AUTOMATED SYSTEMS AND PROCESSES FOR PREPARING VEHICLE SURFACES, SUCH AS AN AIRCRAFT FUSELAGE, FOR PAINTING

    Freier Zugriff
    SCAFUTTO SCOTTON ROGÉRIO / GONCALVES POLI RODRIGO CESAR / VALDECIR VITOR INACIO et al. | Europäisches Patentamt | 2019

    AUTOMATED SYSTEMS AND PROCESSES FOR PREPARING VEHICLE SURFACES, SUCH AS AN AIRCRAFT FUSELAGE, FOR PAINTING

    Freier Zugriff
    SCAFUTTO SCOTTON ROGÉRIO / GONCALVES POLI RODRIGO CESAR / VALDECIR VITOR INACIO et al. | Europäisches Patentamt | 2017