Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Approach to analyzing AADL end-to-end flow latency based on timed automata


    Beteiligte:
    Lian, Xiaoli (Autor:in) / Zhang, Li (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.01.2015


    Format / Umfang :

    13 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    629.13



    AADL and Aerospace

    S. Miller / P. Feiler / M. Hecht | NTIS | 2021


    AADL Behavioural Annex

    Dissaux, P. / Bodeveix, J. P. / Filali, M. et al. | British Library Conference Proceedings | 2006


    Multi-Robot Motion Planning: A Timed Automata Approach

    Quottrup, Michael Melholt / Bak, Thomas / Izadi-Zamanabadi, Roozbeh | BASE | 2004

    Freier Zugriff