Synonyms were used for: Program Verification
Search without synonyms: keywords:(Program Verification)

1–20 of 260 hits
|

    Improved verification for aerospace systems

    Powell, M.A. | Tema Archive | 2009
    Keywords: Programmverifikation

    Requirements of an integrated formal method for intelligent swarms

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

    Die Zertifizierung von ASCET nach der IEC 6 15 08

    Glötzner, Tilman | Tema Archive | 2006
    Keywords: Programmverifikation

    Requirements specification for process-control systems

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

    Model-based independent verification and validation for dependable flight software

    Kohtake, N. / Katoh, A. / Ishihama, N. et al. | Tema Archive | 2009
    Keywords: Programmverifikation

    Landing system verification based on Petri nets and a hybrid approach

    Villani, E. / Miyagi, P.E. / Valette, R. | Tema Archive | 2006
    Keywords: Programmverifikation

    Echo: a practical approach to formal verification

    Strunk, Elisabeth A. / Yin, Xiang / Knight, John C. | Tema Archive | 2005
    Keywords: Programmverifikation

    Durchgängige und simulationsgestützte Softwarevalidierung zum Testen von Steuergerätefunktionalitäten in der Designphase, im Labor sowie im Fahrzeug

    Bien, Torsten / Siegel, Alexander / Zäpf, Jochen | Tema Archive | 2005
    Keywords: Programmverifikation

    Application of genetic algorithm for flight system verification and validation

    Sacco, G.F. / Barltrop, K.J. / Lee, Cin-Young et al. | Tema Archive | 2009
    Keywords: Programmverifikation

    Instantiating generic charts for Railway Interlocking Systems

    Banci, Michele / Fantechi, Alessandro | Tema Archive | 2005
    Keywords: Programmverifikation

    Case study: Engine control application

    Frey, Patrick | Tema Archive | 2010
    Keywords: Programmverifikation

    Software procurement and methods for specification and validation in the railway transportation industry

    Foschi, U. / Giuliani, M. / Morzenti, A. et al. | Tema Archive | 2002
    Keywords: Programmverifikation

    An extendable architecture for model checking hardware-specific automotive microcontroller code

    Schlich, B. / Kowalewski, S. | Tema Archive | 2007
    Keywords: Programmverifikation

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archive | 2004
    Keywords: Programmverifikation

    Daten aus dem Paralleluniversum. Sicherheitskritischen Software entwickeln

    Hocherger, Christian / Weiss, Alexander | Tema Archive | 2007
    Keywords: Programmverifikation

    An automatic SPIN validation of a safety critical railway control system

    Gnesi, S. / Lenzini, G. / Latella, D. et al. | Tema Archive | 2000
    Keywords: Programmverifikation

    Software disign and verifications system (SDVS). Interim rept. 16 Jun 74 - 30 Jun 75

    Lynn Trainor, W. / Forth, C. / Burlakoff, M. et al. | Tema Archive | 1975
    Keywords: PROGRAMMVERIFIKATION

    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: Programmverifikation

    Automatic instantiation of abstract tests on specific configurations for large critical control systems

    Flammini, F. / Mazzocca, N. / Orazzo, A. | Tema Archive | 2009
    Keywords: Programmverifikation

    Coverage-directed test generation with model checkers: challenges and opportunities

    Devaraj, G. / Heimdahl, M.P.E. / Liang, Donglin | Tema Archive | 2005
    Keywords: Programmverifikation