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 :

    1997-01-01


    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





    Should transit-oriented development consider station age effects?

    Liu, Xiang / Chen, Xiaohong / Gao, Ya et al. | Elsevier | 2024




    Saving space in a dense city: When designers should consider the new nano-interchange

    Moon, Jae-Pil / Hummer, Joseph E. / Duyn, Meredith H. | Springer Verlag | 2011