search-head

You are here: Homepage >  Search

    Formal methods for safety and security : case studies for aerospace applications

    Formal methods for safety and security : case studies for aerospace applications


    Table of contents

    Access

    Access via TIB

    Check availability in my library

    Order at Subito €

    Export, share and cite

    Document information

    Title :

    Formal methods for safety and security : case studies for aerospace applications

    Contributors:
    Nanda, Manju (editor) / Jeppu, Yogananda (editor) / Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung (author)
    Conference:

    Workshop on Application of Formal Methods for Safety and Security ; 1 ; 2016 ; Bangalore Workshop on Application of Formal Methods for Safety and Security ; 1 (Bangalore) : 2016.05.25-27

    Publication date :

    2018

    Size :

    xii, 132 Seiten

    Remarks:

    cm
    18 schwarz-weiße und 24 farbige Abbildungen, Bibliographie

    ISBN :

    9789811041211 , 9811041202 , 9789811041204

    Type of media :

    Conference Proceedings

    Type of material :

    Print

    Language :

    English

    Keywords :

    Software Engineering , Echtzeitsystem , Formale Methode , Sicherheitskritisches System , Zuverlässigkeit , Fehlerbaumanalyse

    Classification :

    BKL:    54.52 Software engineering / 55.50 Luftfahrzeugtechnik / 55.60 Raumfahrttechnik
    RVK:    ZO 8900

    Similar titles

    Formal methods for safety and security : case studies for aerospace applications

    Nanda, Manju ;Jeppu, Yogananda | SLUB | 2018

    Formal Methods for Safety and Security : Case Studies for Aerospace Applications

    Nanda, Manju ;Jeppu, Yogananda | SLUB | 2018

    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023

    Formal Safety Certification of Auto-Generated Aerospace Software [invited]

    Denney, Ewen / Fischer, Bernd | AIAA | 2005

    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013

    Access

    Access via TIB

    Check availability in my library

    Order at Subito €

    Page navigation

    Document information

    Similar titles

    Export, share and cite