Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Analysis for Real-Time Scheduling


    Beteiligte:

    Kongress:

    19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA



    Erscheinungsdatum :

    2000-01-01


    Format / Umfang :

    1D4


    Anmerkungen:

    IEEE cat nos 00CH37126



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal analysis for real-time scheduling

    Dutertre, B. / Stavridou, V. | Tema Archiv | 2000


    Formal analysis for real-time scheduling

    Dutertre, B. / Stavridou, V. | IEEE | 2000


    Automated Hard Real-Time Scheduling

    Browne, A. R. / Bass, J. M. / Croll, P. R. et al. | British Library Conference Proceedings | 1995


    Real-time adaptive aircraft scheduling

    Kolitz, Stephan E. / Terrab, Mostafa | NTRS | 1990