Access

    Download


    Export, share and cite



    Title :

    Correct-by-Construction Controller Synthesis for Safety-Critical Systems


    Additional title:

    Formal verifizierte Regler-Synthese für sicherheitskritische Systeme


    Contributors:

    Publication date :

    2024


    Size :

    1 Online-Ressource


    Remarks:


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English




    TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS

    Sander, I. / Soderquist, I. / Ekman, M. et al. | British Library Conference Proceedings | 2022


    Correct-By-Construction Methods for the Development of Safety-Critical Applications

    Dion, B. / Society of Automotive Engineers | British Library Conference Proceedings | 2004



    Correct-by-construction methods for the development of safety-critical applications

    Dion,B. / Esterel Technologies,US | Automotive engineering | 2004


    Provably-Correct Compositional Synthesis of Vehicle Safety Systems

    Nilsson, Petter / Ozay, Necmiye | Springer Verlag | 2018