UNKNOWN


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    LiveView and P2serialcmds Co-Verification Software for NGIS and Embedded MPSoC Instrument Avionics


    Beteiligte:
    Dolman, David (Autor:in) / Shin, Simon (Autor:in) / Klimesh, Matthew (Autor:in) / Bernas, Michael (Autor:in) / Valencia, Robert (Autor:in) / Liggett, Elliott (Autor:in) / Ryan, Jacqueline (Autor:in) / Keymeulen, Didier (Autor:in) / Tran, Danny (Autor:in) / Mechem, Vanessa (Autor:in)

    Erscheinungsdatum :

    2020-03-07


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch



    LiveView and P2serialcmds Co-Verification Software for NGIS and Embedded MPSoC Instrument Avionics

    Shao, Eugene / Anderson, Joshua / Mechem, Vanessa et al. | IEEE | 2020


    MPSoC hypervisor: The safe & secure future of avionics

    VanderLeest, Steven H. / White, DornerWorks Dagan | IEEE | 2015


    MPSoC hypervisor: The safe & secure future of avionics

    VanderLeest, Steven H. / White, Dagan | IEEE | 2015



    Towards Scalable Verification of Commercial Avionics Software

    Bhatt, D. / Madl, G. / Oglesby, D. et al. | British Library Conference Proceedings | 2010