1–20 of 30 hits
|

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, L. / Ghezzi, C. | British Library Conference Proceedings | 2006
    Contributors: Kruger, Ingolf H.

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Contributors: Krüger, Ingolf H.

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Contributors: Kruger, Ingolf H.

    Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer

    Ferdinand, C. / Heckmann, R. / Wolff, H.-J. et al. | British Library Conference Proceedings | 2008
    Contributors: Kruger, Ingolf H.

    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
    Contributors: Krüger, Ingolf H.

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

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Contributors: Krüger, Ingolf H.

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

    Subramonian, V. / Gill, C. | British Library Conference Proceedings | 2008
    Contributors: Kruger, Ingolf H.

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2006
    Contributors: Kruger, Ingolf H.

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K. Venkatesh / Giuli, Thomas J. / Watson, David | Springer Verlag | 2008
    Contributors: Krüger, Ingolf H.

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K.V. / Giuli, T.J. / Watson, D. | British Library Conference Proceedings | 2008
    Contributors: Kruger, Ingolf H.

    TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

    Grossmann, J. / Fey, I. / Krupp, A. et al. | British Library Conference Proceedings | 2008
    Contributors: Kruger, Ingolf H.

    Software for Automotive Systems: Model-Integrated Computing

    Neema, S. / Karsai, G. | British Library Conference Proceedings | 2006
    Contributors: Kruger, Ingolf H.

    Simulink Integration of Giotto/TDL

    Pree, W. / Stieglbauer, G. / Templ, J. | British Library Conference Proceedings | 2006
    Contributors: Kruger, Ingolf H.

    Service-based software development for automotive applications

    Krüger, Ingolf H. / Nelson, Edward C. / Prasad, K. Venkatesh | Tema Archive | 2004

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, Holger | Springer Verlag | 2008
    Contributors: Krüger, Ingolf H.

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, H. | British Library Conference Proceedings | 2008
    Contributors: Kruger, Ingolf H.

    Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

    Mueller-Glaser, K. D. / Reichmann, C. / Kuehl, M. et al. | British Library Conference Proceedings | 2006
    Contributors: Kruger, Ingolf H.

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

    Kopetz, H. | British Library Conference Proceedings | 2006
    Contributors: Kruger, Ingolf H.

    Modeling with the Timing Definition Language (TDL)

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2008
    Contributors: Krüger, Ingolf H.

    Modeling with the Timing Definition Language (TDL)

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2008
    Contributors: Kruger, Ingolf H.