Synonyme wurden verwendet für: Betriebssystem
Suche ohne Synonyme: keywords:(Betriebssystem)

1–12 von 12 Ergebnissen
|

    Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

    Neema, Sandeep / Birla, Sushil / Wang, Shige et al. | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, Rance / Smolka, Scott A. / Sims, Steven T. | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, Edward / Huang, Henry | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, Madhukar / Fischmeister, Sebastian / Kim, Jesung et al. | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Modeling with the Timing Definition Language (TDL)

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, Holger | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

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

    Grossmann, Juergen / Fey, Ines / Krupp, Alexander et al. | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

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

    Prasad, K. Venkatesh / Giuli, Thomas J. / Watson, David | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

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

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

    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: Software Engineering/Programming and Operating Systems

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Werkzeuge des Wissensmanagement

    Föcker, Egbert | IuD Bahn | 2001
    Schlagwörter: Systemsoftware