Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Development Process Improvement by Means of Formal and Semi-Formal Methods



    Conference:

    Conference, Data systems in aerospace; DASIA 2000 data systems in aerospace ; 2000 ; Montreal, Canada



    Publication date :

    2000-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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


    Semi-formal design methods for functional modelling of climate control systems

    Goethel, J. / Fuchs, M. / VDI; Gesellschaft Fahrzeug- und Verkehrstechnik | British Library Conference Proceedings | 1998


    Object oriented and formal methods for AUV development

    Champeau, J. / Dhaussy, P. / Moitie, R. et al. | Tema Archive | 2000


    Formal methods for railway signalling

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