Synonyms were used for: formale Spezifikation
Search without synonyms: keywords:(formale Spezifikation)

1–20 of 131 hits
|

    CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

    Free access
    Martini, Ricardo Giuliani / Henriques, Pedro Rangel | BASE | 2018
    Keywords: formal specification

    CDL: a language for specifying high-level cross-domain security policies

    Thomas, R. / Tsang, S. | Tema Archive | 2008
    Keywords: formale Spezifikation , formale Verifikation

    Statechart testing method for aircraft control systems

    Bogdanov, K. / Holcombe, M. | Tema Archive | 2001
    Keywords: formale Spezifikation , Spezifikation (Normung)

    Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring

    Alves, M.C.Bergue / Drusinsky, D. / Michael, J.B. et al. | Tema Archive | 2011
    Keywords: formale Spezifikation , formale Verifikation , formale Validierung

    Echo: a practical approach to formal verification

    Strunk, Elisabeth A. / Yin, Xiang / Knight, John C. | Tema Archive | 2005
    Keywords: formale Überprüfung , formale Spezifikation

    An approach to formal verification of free-flight separation

    Eder, S. / Smith, G. | Tema Archive | 2010
    Keywords: formale Spezifikation , formale Verifikation

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

    Nowotka, Dirk | Tema Archive | 2008
    Keywords: formale Spezifikation , formale Sprache

    Requirements of an integrated formal method for intelligent swarms

    Hinchey, M.G. / Rouff, C.A. / Rash, J.L. et al. | Tema Archive | 2005
    Keywords: formale Spezifikation

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archive | 2011
    Keywords: formale Spezifikation

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archive | 1994
    Keywords: formale Spezifikation

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archive | 1997
    Keywords: formale Spezifikation , formale Verifikation

    Modellierung der Forms-Fallstudien mit Statemate

    Klose, J. / Moik, A. | Tema Archive | 2000
    Keywords: formale Spezifikation , formale Sprache , formale Verifikation , formale Überprüfung

    Preparing the next generation of IMA: a new technology for the SCARLETT program

    Fuchsen, R. | Tema Archive | 2009
    Keywords: formale Spezifikation

    Increasing UAV capabilities through autopilot and flight plan abstraction

    Santamaria, E. / Royo, P. / Lopez, J. et al. | Tema Archive | 2007
    Keywords: formale Spezifikation , Spezifikation (Normung)

    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archive | 2007
    Keywords: formale Spezifikation

    Using a systems description language for complete avionics systems

    Barton, D.L. / Fortier, S.C. | Tema Archive | 1998
    Keywords: formale Spezifikation , formale Verifikation , Spezifikation (Normung)

    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 Archive | 2010
    Keywords: formale Spezifikation

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

    Hatcliff, J. / Deng, Xinghua / Dwyer, M.B. et al. | Tema Archive | 2003
    Keywords: formale Spezifikation , formale Verifikation

    ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS

    Free access
    Rakotomalala, Eva / Elloy, Jean-Pierre / Molinaro, Pierre et al. | Springer Verlag | 2005
    Keywords: Formal specification

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

    Hess, Steffen / Gross, Anne / Maier, Andreas et al. | Tema Archive | 2012
    Keywords: formale Spezifikation