Synonyms were used for: Model Model Checking
Search without synonyms: keywords:(Model Checking)

1–20 of 62 hits
|

    Neue Ansätze zur Bewertung von Strategien zur Reibungsminderung mittels schnelllaufender, oszillierender Tribometer im System Kolbenring/Zylinder

    Michelberger, Björn / Hagel, Andreas / Striemann, Patrick et al. | Springer Verlag | 2020
    Keywords: Modellprüfung

    Neue Ansätze zur Rückführung von Oberflächenmesswerten auf das Verhalten von zwei Zylinderlaufbahnen am Realhubtribometer

    Bussas, Michael / Michelberger, Björn / Kröger, Benjamin | Springer Verlag | 2021
    Keywords: anwendungsnahe Modellprüfung

    Applying model checking to an automotive microcontroller application

    Schlich, B. / Salewski, F. / Kowalewski, S. | Tema Archive | 2007
    Keywords: Modellprüfung

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archive | 1997
    Keywords: symbolische Modellprüfung

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archive | 2004
    Keywords: Modellprüfung

    Validating requirements for fault tolerant systems using model checking

    Schneider, F. / Easterbrook, S.M. / Callahan, J.R. et al. | Tema Archive | 1998
    Keywords: Modellprüfung

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

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

    Sicherheitsanalysen von Fail-Operational-Systemen für einen Nachweis nach ISO 26262

    Free access
    Schmid, Tobias | TIBKAT | 2021
    Keywords: Model Checking

    Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment

    Talpin, J. / Ouy, J. / Gautier, T. et al. | Tema Archive | 2010
    Keywords: Modellprüfung

    Safety and Certification in Increasingly Autonomous Aviation Systems

    N. Neogi | NTIS | 2022
    Keywords: Model checking

    A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios

    Free access
    L. Lestingi / M. Askarpour / M. M. Bersani et al. | BASE | 2020
    Keywords: model-driven development , statistical model checking

    Equilibrium design for concurrent games

    Free access
    Gutierrez J. / Najib M. / Perelli G. et al. | BASE | 2019
    Keywords: Model checking

    Software doping : theory and detection

    Free access
    Biewer, Sebastian | TIBKAT | 2023
    Keywords: Model Checking

    Trustworthy Autonomy for Gateway Vehicle System Manager

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2023
    Keywords: Model checking

    Formal modeling and verification of real-time concurrent systems

    Yan, Fei / Tang, Tao | Tema Archive | 2008
    Keywords: formales Modell , Modellprüfung

    Controlling a Population

    Free access
    Bertrand, Nathalie / Dewaskar, Miheer / Genest, Blaise et al. | BASE | 2017
    Keywords: Model-checking

    Automated model checking with promela/spin

    Benowitz, E. / Pingree, P. | NTRS | 2002
    Keywords: model checking spin statechart

    Controlling Signalized Intersections using Machine Learning

    Free access
    Eriksen, Andreas Berre / Lahrmann, Harry / Larsen, Kim Guldstrand et al. | BASE | 2020
    Keywords: Model checking

    Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning

    Suresh Jeyaraman / Tsourdos, A. / Zbikowski, Ratal et al. | Tema Archive | 2005
    Keywords: Kripke-Modell , Modellprüfung