1–9 von 9 Ergebnissen
|

    How Do we Certify for the Unexpected?

    Rushby, John | AIAA | 2008

    The MILS component integration approach to secure information sharing

    Boettcher, Carolyn / DeLong, Rance / Rushby, John et al. | IEEE | 2008

    Formal Verification and Automated Testing for Diagnostic and Monitoring Systems

    Dutertre, Bruno / Rushby, John / Tiwari, Ashish et al. | AIAA | 2008

    Considerations in Assuring Safety of Increasingly Autonomous Systems

    Alves, Erin E. / Bhatt, Devesh / Hall, Brendan et al. | NTRS | 2018

    CLARISSA: Foundations, Tools & Automation for Assurance Cases

    Varadarajan, Srivatsan / Bloomfield, Robin / Rushby, John et al. | IEEE | 2023