Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling and Reasoning of Time-Dependent Concurrent Mobile Systems Based on an Extended π - Calculus


    Beteiligte:
    Luo, L. (Autor:in) / Duan, Z. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.01.2014


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    500



    Research of Extended Mobile Ambient Calculus Oriented Mobile Collaboration

    Cao, Y. / Wang, W. / Qin, Z. | British Library Online Contents | 2008




    A Time-Triggered Constraint-Based Calculus for Avionic Systems

    Hamadou, Sardaouna / Mullins, John / Gherbi, Abdelouahed et al. | IEEE | 2015


    A Petri Net Description of Extended Ambient Calculus Model

    Cao, Y. / Wang, W. / Qin, Z. | British Library Online Contents | 2008