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

21–40 von 151 Ergebnissen
|

    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

    Basic requirements for the use of formal tools in safety procedures of the railway systems

    Barbu, George | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen

    Belschner, Ralf / Bortolazzi, Jürgen / Freess, Jascha et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Sprache

    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

    Cadena: an integrated development, analysis, and verification environment for component-based systems

    Hatcliff, J. / Deng, Xinghua / Dwyer, M.B. et al. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation , formale Verifikation

    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

    Using a systems description language for complete avionics systems

    Barton, D.L. / Fortier, S.C. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , formale Verifikation , Spezifikation (Normung)

    Instantiating generic charts for Railway Interlocking Systems

    Banci, Michele / Fantechi, Alessandro | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Formal methods for the specification and verification of distributed railway control systems: from algebraic specifications to distributed hybrid real-time systems

    Haxthausen, A.E. / Peleska, J. | Tema Archiv | 2000
    Schlagwörter: formale Überprüfung , formale Spezifikation , formale Sprache

    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

    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

    Computing worst-case response times in real-time avionics applications

    Rangarajan, Murali / Cofer, Darren | Tema Archiv | 2008
    Schlagwörter: formale Verifikation , formale Spezifikation

    Software assurance with SAMATE reference dataset, tool standards, and studies

    Black, P.E. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Modelling and Verification of the System Requirement Specification of Train Control System Using SDL

    Yuan, L. / Tang, T. / Li, K. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Verifikation

    Specification and verification of a single-track railroad signaling in CafeOBJ

    Seino, T. / Ogata, K. / Futatsugi, K. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    The role of formal methods in developing a distributed railway interlocking system

    Banci, M. / Fantechi, A. / Gnesi, S. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Formal safety analysis in transportation control

    Thums, A. / Schellhorn, G. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation , formale Überprüfung

    The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

    Gamatie, Abdoulaye / Gautier, Thierry | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Reuse of Requirements Reduces Time to Market

    Goldin, L. / Matalon-Beck, M. / Lapid-Maoz, J. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)