Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Algebraic Specification of Discrete Event System Models and Their Refinements


    Beteiligte:
    Hu, X. (Autor:in) / Kaneshige, A. (Autor:in) / Onogi, K. (Autor:in) / Nishimura, Y. (Autor:in)


    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    79 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    629.8



    Validation of Discrete Events Automotive Systems from their Bahaviour Specification Models

    Desroches, P. / CSAT | British Library Conference Proceedings | 1996


    Specification and Estimation of Discrete Choice Models

    Ortúzar, Juan de Dios / Willumsen, Luis G. | Wiley | 2011


    Riley refinements

    Engineering Index Backfile | 1927


    Rambler refinements

    Engineering Index Backfile | 1911