Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Validation of Realtime Middleware


    Autor / Urheber :

    John Enright, David Miller


    Beteiligte:
    John Enright (Autor:in) / David Miller (Autor:in)


    Erscheinungsdatum :

    2007-01-01


    Format / Umfang :

    18 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Nonlinear Helicopter Model Validation Applied to Realtime Simulations

    Hamers, M. / Von Grunhagen, W. / American Helicopter Society | British Library Conference Proceedings | 1997


    Realtime-capable Suspensionsmodels: Applications from Case-Study to Validation

    Kunert, A. / Chucholowski, C. / Gnandt, C. et al. | British Library Conference Proceedings | 2005


    Design and Formal Verification of Membership Middleware for Dependable Automotive Network Systems

    Sakurai, K. / Serafini, M. / Bokor, P. et al. | British Library Conference Proceedings | 2009


    Design and formal verification of membership middleware for dependable automotive network systems

    Sakurai, Kohei / Serafini, Marco / Bokor, Peter et al. | Tema Archiv | 2009


    Approaches for Validation of Lighting Environments in Realtime Lunar South Pole Simulations

    Crues, Edwin Z. / Bielski, Paul / Paddock, Eddie et al. | IEEE | 2023