1–8 von 8 Ergebnissen
|

    Certifiable Runtime Assurance of Distributed Real-Time Systems

    Chaki, Sagar / de Niz, Dionisio | AIAA | 2017

    Certifiable Runtime Assurance of Distributed Real-Time Systems (AIAA 2017-0561)

    Chaki, Sagar / de Niz, Dionisio | British Library Conference Proceedings | 2017

    Software Solutions for Distributed Autonomous Multi-Functional Robotics in Space

    Edmondson, James / Chaki, Sagar / Hansen, Jeff et al. | AIAA | 2016

    Applying software model checking to PALS systems

    Nam, Min-Young / Sha, Lui / Chaki, Sagar et al. | IEEE | 2014

    Applying software model checking to PALS systems

    Nam, Min Young / Chaki, Sagar / Sha, Lui et al. | IEEE | 2014

    Verification of Real-Time Systems using Statistical Model Checking (AIAA 2015-1866)

    Hansen, Jeffery P. / Wrage, Lutz / Chaki, Sagar et al. | British Library Conference Proceedings | 2015

    Cyber Resilient Flight Software for Spacecraft

    Wheeler, Wayne A. / Cohen, Nicholas / Betser, Joseph et al. | AIAA | 2017

    Cyber Resilient Flight Software for Spacecraft (AIAA 2017-5305)

    Wheeler, Wayne A. / Cohen, Nicholas / Betser, Joseph et al. | British Library Conference Proceedings | 2017