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

1–20 of 56 hits
|

    The Landing Gear System Case Study

    Boniol, Frédéric / Wiels, Virginie | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Modeling an Aircraft Landing System in Event-B

    Méry, Dominique / Singh, Neeraj Kumar | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Validation of the ABZ Landing Gear System Using ProB

    Hansen, Dominik / Ladenberger, Lukas / Wiegard, Harald et al. | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Modeling a Landing Gear System in Event-B

    Mammar, Amel / Laleau, Régine | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

    Su, Wen / Abrial, Jean-Raymond | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

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

    Context-Aware Verification of a Landing Gear System

    Dhaussy, Philippe / Teodorov, Ciprian | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Urban traffic systems modelling methodology

    Chabrol, Michelle / Sarramia, David / Tchernev, Nikolay | Tema Archive | 2006
    Keywords: formale Sprache

    The Landing Gear Case Study in Hybrid Event-B

    Banach, Richard | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Landing Gear System: An ASM-Based Solution for the ABZ Case Study

    Kossak, Felix | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

    Arcaini, Paolo / Gargantini, Angelo / Riccobene, Elvinia | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Modellierung der Forms-Fallstudien mit Statemate

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

    Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

    Berthomieu, Bernard / Dal Zilio, Silvano / Fronc, Łukasz | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Die formalisierte Terminologie der Verlässlichkeit technischer Systeme

    Müller, Jörg Rudolf | TIBKAT | 2015
    Keywords: Formale Sprache

    Co-simulation Environment for Rodin: Landing Gear Case Study

    Savicks, Vitaly / Butler, Michael / Colley, John | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

    Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

    Arcaini, Paolo / Gargantini, Angelo / Riccobene, Elvinia | Springer Verlag | 2014
    Keywords: Mathematical Logic and Formal Languages

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

    Belschner, Ralf / Bortolazzi, Jürgen / Freess, Jascha et al. | Tema Archive | 2005
    Keywords: formale Spezifikation , formale Sprache

    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 Archive | 2000
    Keywords: formale Überprüfung , formale Spezifikation , formale Sprache

    Formal method analysis and evaluation of ERTMS-test specification for the Italian high speed railway

    Senesil, F. / Malangone, R. | Tema Archive | 2007
    Keywords: formale Sprache