1–4 von 4 Ergebnissen
|

    Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study

    Thomas Pressburger / Andreas Katis / Aaron Dutle et al. | NTRS | 2023
    Schlagwörter: Requirements Engineering , Formal Requirements Elicitation Tool

    Capturing & Analyzing Requirements with FRET

    Dimitra Giannakopoulou / Anastasia Mavridou / Tom Pressburger et al. | NTRS
    Schlagwörter: Requirements, Simulink models, Verification

    Probably Fret?

    Anastasia Mavridou / Marie Farrell / Tom Pressburger et al. | NTRS
    Schlagwörter: ML requirements

    Monitoring ICAROUS: From Requirements to Autonomous Flight

    Swee Balachandran / Esther Conrad / Aaron Dutle et al. | NTRS | 2020
    Schlagwörter: requirements elicitation