1–10 von 37 Ergebnissen
|

    Validation of the ABZ Landing Gear System Using ProB

    Hansen, Dominik / Ladenberger, Lukas / Wiegard, Harald et al. | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, Luciano / Ghezzi, Carlo | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Trip Report E. W. Dijkstra, Poland and USSR, 4–25 September 1976

    Prof. Dr. Dijkstra, Edsger W. | Springer Verlag | 1982
    Schlagwörter: Computation by Abstract Devices

    Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975

    Prof. Dr. Dijkstra, Edsger W. | Springer Verlag | 1982
    Schlagwörter: Computation by Abstract Devices

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    The Landing Gear System Case Study

    Boniol, Frédéric / Wiels, Virginie | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    The Landing Gear Case Study in Hybrid Event-B

    Banach, Richard | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices