Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Generating Real-time Software Test Cases by Time Petri Nets


    Beteiligte:
    Lin, J. C. (Autor:in) / Ho, I. (Autor:in)


    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.16



    Generating Inductive Invariants for Petri Nets

    Wu, Bin / Fu, YongJun | Springer Verlag | 2012


    Numerical method to simulate and to analyze Time Petri nets

    Bensouissi, S. / Benzina, A. / Abed, M. et al. | IEEE | 2011


    Controlled Time Petri Nets and Modeling of Batch Process System

    Huifang, L. / Renhou, L. / Haoxun, C. | British Library Online Contents | 2000


    Software Architecture Description Language Based on Object-Oriented Petri Nets

    Zhenhua, Y. / Yuanli, C. | British Library Online Contents | 2004


    A logic for Petri nets

    Pradier-Chezalviel, B. / Valette, R. | British Library Online Contents | 1997