1–20 von 111 Ergebnissen
|

    Modeling with the Timing Definition Language (TDL)

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

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

    Subramonian, V. / Gill, C. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

    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
    Schlagwörter: Automotive computers , Software engineering

    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
    Schlagwörter: Automotive computers , Software engineering

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, M. / Fischmeister, S. / Kim, J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, R. / Smolka, S.A. / Sims, S.T. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

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

    Neema, S. / Birla, S. / Wang, S. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

    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
    Schlagwörter: Automotive computers , Software engineering

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, E. / Huang, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Automotive computers , Software engineering

    Computation of a suburban night train timetable based on key performance indicators

    Schittenhelm, B. / Landex, A. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    The cost benefit analysis of level crossing safety measures

    Aoun, R.B. / El Koursi, E.-M. / Lemaire, E. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    Strategies for less motion sickness on tilting trains

    Persson, R. / Kufver, B. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    Application and perspectives for interoperable systems in Italy and Europe

    Bozzo, R. / Genova, R. / Ballini, F. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    Alignment analysis of urban railways based on passenger travel demand

    Andersen, J.L.E. / Landex, A. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    Development of a railway signaling device based on mixed digital and analog signals using digital signal processors

    Ishikawa, R. / Koshino, D. / Mochizuki, H. et al. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    Track measurement by Kyushu Shinkansen cars in commercial service

    Moritaka, H. / Matsumoto, T. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    Rescue operations on dedicated high speed railway lines

    Takagi, R. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design

    Train tracking problem using a hybrid system model

    Wang, Y. / Luo, R. / Cao, F. et al. | British Library Conference Proceedings | 2010
    Schlagwörter: Railroad engineering , Computer system design