Synonyme wurden verwendet für: Theorie
Suche ohne Synonyme: keywords:("Theorie")

1–20 von 110 Ergebnissen
|

    Object Anchoring for Autonomous Robots Using the Spatio-Temporal-Semantic Environment Representation SEEREP

    Niemeyer, Mark / Renz, Marian / Hertzberg, Joachim | TIBKAT | 2023
    Schlagwörter: Mathematical theory of computation

    Challenges for Verifying and Validating Scientific Software in Computational Materials Science

    Freier Zugriff
    Vogel, Thomas / Druskat, Stephan / Scheidgen, Markus et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: Complexity theory

    A probabilistic framework for traffic data quality

    Freier Zugriff
    Ebendt, Rüdiger / Neumann, Thorsten | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: probability theory

    Plane Formation by Synchronous Mobile Robots without Chirality

    Freier Zugriff
    Tomita, Yusaku / Yamauchi, Yukiko / Kijima, Shuji et al. | BASE | 2018
    Schlagwörter: group theory

    Joint driver-automation system design: Gradual action-oriented ambient stimuli

    Freier Zugriff
    Kelsch, Johann / Dziennus, Marc | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2015
    Schlagwörter: field theory

    Design optimization of a twist compliant mechanism with nonlinear stiffness

    Tummala, Y. / Frecker, M.I. / Wissa, A.A. et al. | Tema Archiv | 2014
    Schlagwörter: Theorie-Experiment-Vergleich

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

    Kossak, F. | British Library Conference Proceedings | 2014
    Schlagwörter: Machine theory

    Context-Aware Verification of a Landing Gear System

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

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

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Schlagwörter: 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
    Schlagwörter: 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
    Schlagwörter: Machine theory

    Co-simulation Environment for Rodin: Landing Gear Case Study

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

    Validation of the ABZ Landing Gear System Using ProB

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

    The Landing Gear Case Study in Hybrid Event-B

    Banach, R. | British Library Conference Proceedings | 2014
    Schlagwörter: 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
    Schlagwörter: Machine theory

    Modeling an Aircraft Landing System in Event-B

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

    Modeling a Landing Gear System in Event-B

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

    The Landing Gear System Case Study

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

    Onshore pipeline high-grade steel for challenge utilization

    Ferino, Jan / Fonzo, Andrea / Di Biagio, Massimo et al. | Tema Archiv | 2014
    Schlagwörter: Theorie-Experiment-Vergleich