Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Why Engineers Should Consider Formal Methods


    Beteiligte:

    Kongress:

    16th, Digital avionics systems conference ; 1997



    Erscheinungsdatum :

    01.01.1997


    Format / Umfang :

    1.3-16-1.3-22


    Anmerkungen:

    Also known as the 16th DASC. Theme title: Reflections to the future. IEEE cat nos 97CB36116 and 97CH36116



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Why Engineers Should Consider Formal Methods

    Holloway, C. Michael | NTRS | 1997





    Apart from infrastructure, what else we should consider to get more effective results

    Villalante, M. / SPOKES | British Library Conference Proceedings | 2001