Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

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



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Integrated formal methods

    Galloway, A. / Stoddart, B. / Informatiques des organisations et systemes d'information et de decision | British Library Conference Proceedings | 1997


    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 Archiv | 2000