Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automatic validation of Simulink/Stateflow models - formal verification of functional requirements


    Additional title:

    Die automatische Validierung von Simulink/Stateflow Modellen - die formale Verifizierung funktionaler Anforderungen.



    Publication date :

    2005


    Size :

    12 pages


    Remarks:

    6.Braunschweiger Symposium Automatisierungs-, Assistenz- und eingebettete Systeme fuer Transportmittel; 2005


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    Brief Introduction to Simulink and Stateflow

    Colgren, Richard | AIAA | 2007


    Drivetrain system design in Simulink and Stateflow

    Quinn, S. / Lyons, V. | Tema Archive | 1998


    Drivetrain System Design in Simulink and Stateflow

    Quinn, S. / Lyons, V. / Society of Automotive Engineers of Japan | British Library Conference Proceedings | 1998