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 the Air

    A. Dutle | NTIS | 2024


    The 4SECURail Formal Methods Demonstrator

    Mazzanti, Franco / Belli, Dimitri | British Library Conference Proceedings | 2022