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


    Can formal methods make automotive business sense? A classification of formal methods by usefulness

    McElligott,P. / Mjeda,A. / Thiel,S. et al. | Automotive engineering | 2008


    NASA Formal Methods Workshop, 1990

    R. W. Butler | NTIS | 1990