1–10 of 21 hits
|

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, Rance / Smolka, Scott A. / Sims, Steven T. | Springer Verlag | 2008
    Keywords: Computation by Abstract Devices

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, Madhukar / Fischmeister, Sebastian / Kim, Jesung et al. | Springer Verlag | 2008
    Keywords: Computation by Abstract Devices

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, Luciano / Ghezzi, Carlo | Springer Verlag | 2006
    Keywords: Computation by Abstract Devices

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Keywords: Computation by Abstract Devices

    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006
    Keywords: Computation by Abstract Devices

    Simulink Integration of Giotto/TDL

    Pree, Wolfgang / Stieglbauer, Gerald / Templ, Josef | Springer Verlag | 2006
    Keywords: Computation by Abstract Devices

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2006
    Keywords: Computation by Abstract Devices

    On the Fault Hypothesis for a Safety-Critical Real-Time System

    Kopetz, H. | Springer Verlag | 2006
    Keywords: Computation by Abstract Devices

    Software for Automotive Systems: Model-Integrated Computing

    Neema, Sandeep / Karsai, Gabor | Springer Verlag | 2006
    Keywords: Computation by Abstract Devices

    Modeling with the Timing Definition Language (TDL)

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2008
    Keywords: Computation by Abstract Devices