Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    SOLUTIONS - Software - Architecture for Verifiable Software


    Published in:

    Publication date :

    2005



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    55.60 Raumfahrttechnik / 55.60 / 50.00 / 50.00 Technik allgemein: Allgemeines



    Architecture for Verifiable Software

    Reinholtz, William / Dvorak, Daniel | NTRS | 2005


    PERSIST - a flexible and automatically verifiable software architecture for the automotive powertrain

    Richenhagen,J. / Pischinger,S. / Schlosser,A. et al. | Automotive engineering | 2013


    The TableSat Platform and Its Verifiable Control Software

    Atkins, Ella / Green, Jeremy / Yi, Jianliang et al. | AIAA | 2009


    The TableSat Platform and Its Verifiable Control Software

    Atkins, E. / Green, J. / Yi, J. et al. | British Library Conference Proceedings | 2009