Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Validation of Realtime Middleware


    Author / Creator :

    John Enright, David Miller


    Contributors:
    John Enright (author) / David Miller (author)


    Publication date :

    2007




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    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, Kohei / Serafini, Marco / Bokor, Peter et al. | Tema Archive | 2009


    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


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

    Edwin Z (Zack) Crues / Paul Bielski / Eddie Paddock et al. | NTRS | 2023