Synonyms were used for: Theorie
Search without synonyms: keywords:("Theorie")

1–20 of 97 hits
|

    Robust discrete-time flight control of UAV with external disturbances

    Shao, Shuyi / Chen, Mou / Shi, Peng | TIBKAT | 2021
    Keywords: System theory.

    Aramis : oder Die Liebe zur Technik

    Latour, Bruno | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2018
    Keywords: Actor-Network-Theory

    Optimierte Entladestrategien für die Schiffsentladung - Planungswerkzeug

    Günther, Willibald A. / Kessler, Stephan / Frenz, Thorsten | Tema Archive | 2014
    Keywords: Theorie-Experiment-Vergleich

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

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

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

    Su, W. / Abrial, J.-R. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

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

    Kossak, F. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    Context-Aware Verification of a Landing Gear System

    Dhaussy, P. / Teodorov, C. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

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

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    Co-simulation Environment for Rodin: Landing Gear Case Study

    Savick, V. / Butler, M. / Colley, J. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    Modeling an Aircraft Landing System in Event-B

    Mery, D. / Singh, N.K. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    Modeling a Landing Gear System in Event-B

    Mammar, A. / Laleau, R. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    The Landing Gear Case Study in Hybrid Event-B

    Banach, R. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

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

    Berthomieu, B. / Zilio, S.D. / Fronc, L. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    Validation of the ABZ Landing Gear System Using ProB

    Hansen, D. / Ladenberger, L. / Wiegard, H. et al. | British Library Conference Proceedings | 2014
    Keywords: Machine theory

    Umfeldrepräsentation für zukünftige Fahrerassistenzsysteme

    Hohm, Andree / Lüke, Stefan / Grewe, Ralph | Tema Archive | 2013
    Keywords: Dempster-Shafer-Theorie

    Luftverkehr : betriebswirtschaftliches Lehr- und Handbuch

    Conrady, Roland / Fichert, Frank / Sterzenbach, Rüdiger | TIBKAT | 2013
    Keywords: Theorie

      Luftverkehr : betriebswirtschaftliches Lehr- und Handbuch

      Conrady, Roland / Fichert, Frank / Sterzenbach, Rüdiger | SLUB | 2013
      Keywords: Theorie

    Computer models of complex multiloop branched pipeline systems

    Kudinov, I.V. / Kolesnikov, S.V. / Eremin, A.V. et al. | Tema Archive | 2013
    Keywords: Theorie

    Aircraft landing control design based on artificial life and CMACs

    Juang, Jih-Gau / Yu, Cheng-Yen / Cheng, Chung-Ju | Tema Archive | 2013
    Keywords: Lyapunov-Theorie