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

1–16 von 16 Ergebnissen
|

    Rapid specification of hardware-in-the-loop test systems in the automotive domain based on the electric/electronic architecture description of, vehicles

    Hillenbrand, M. / Heinz, M. / Mueller-Glaser, K.D. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS

    Freier Zugriff
    Rakotomalala, Eva / Elloy, Jean-Pierre / Molinaro, Pierre et al. | Springer Verlag | 2005
    Schlagwörter: Formal specification

    Standardizing model-based in-vehicle infotainment development in the german automotive industry

    Hess, Steffen / Gross, Anne / Maier, Andreas et al. | Tema Archiv | 2012
    Schlagwörter: formale Spezifikation

    An approach to the pervasive formal specification and verification of an automotive system

    Rieden, Tom in der / Knapp, Steffen | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    The components data flow machine: An intermediate modeling format to support the design of automobiles E/E

    Kebemou, Augustin / Schieferdecker, Ina | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Model-based testing of automotive HMIs with consideration for product variability

    Duan, Linshu | Tema Archiv | 2012
    Schlagwörter: formale Spezifikation , testorientierte Spezifikation

    Requirements archaeology: from unstructured information to high quality specifications (in the automotive industry)

    Kiedaisch, F. / Pohl, M. / Weisbrod, J. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Automotive software development: a model based approach

    Rappl, M. / Braun, P. / Beeck, M. von der et al. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , modellbasierte Spezifikation

    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    A new approach for gateway-based automotive network architectures

    Limam, Mourad | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    Improving software development in the automotive area through tool supported modelling and formal analysis

    Mutz, M. / Diethers, K. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation

    The development of the advanced protocol for automotive local area multiplexing network (advanced PALMNET)

    Kimura, H. / Himono, Y. / Matsuda, Y. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Network application layer

    Lawrenz, W. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    A multiplexing communication IC for automotive body-electronic control

    Shinojima, Y. / Kawakami, M. / Kawahashi, A. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Model-based testing of a reactive system with coloured Petri Nets

    Tjell, Simon | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation

    Transputer-based fault-tolerant and fail-safe node for dual ring distributed railway signalling systems

    Kumar, K.V. / Chandra, V. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation