Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Modeling and Validating Hybrid Systems using VDM and Mathematica



    Kongress:

    5th, Langley formal methods workshop; Lfm2000 ; 2000 ; Williamsburg, VA



    Erscheinungsdatum :

    2000-01-01


    Format / Umfang :

    12 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    An Introduction to "Mathematica"

    Kawakami, Y. / Nakano, K. | British Library Online Contents | 1996



    Modeling and Validating SAFER in VDM-SL

    Agerholm, S. / Larsen, P. G. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997


    Mathematica upgrade simplifies design tasks

    British Library Online Contents | 1997