Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Integrated formal methods



    Conference:

    Congres; 15, Informatiques des organisations et systemes d'information et de decision: Actes du XV congres INFORSID ; 1997 ; Toulouse; France



    Publication date :

    1997-01-01


    Size :

    28 pages


    Remarks:

    Text in French and English



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    French




    Making formal methods practical

    Zimmerman, M. / Rodriguez, M. / Ingram, B. et al. | IEEE | 2000


    Making Formal Methods Practical

    Zimmerman, M. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archive | 1989


    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990


    Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness

    Mjeda, Anila / McElligott, Pat / Thiel, Steffen | SAE Technical Papers | 2008