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

1–20 von 38 Ergebnissen
|

    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

    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

    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

    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

    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

    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

    Umfeldrepräsentation für zukünftige Fahrerassistenzsysteme

    Hohm, Andree / Lüke, Stefan / Grewe, Ralph | Tema Archiv | 2013
    Schlagwörter: Dempster-Shafer-Theorie

    Research on the Equilibrium of Train Crew Scheduling Plan of Motor Train Set

    Li, Cheng-Bing / Wu, Jun / Li, Chu-Kai | Tema Archiv | 2012
    Schlagwörter: entropy theory

    A Game Theory Approach for the Operators’ Behavior Analysis in the Urban Passenger Transportation Market

    Hu, Xiao-Wei / Wang, Jian / Sun, Guang-Lin | Tema Archiv | 2012
    Schlagwörter: game theory approach

    Information and decision fusion systems for aircraft structural health monitoring

    Zein-Sabatto, S. / Mikhail, M. / Bodruzzaman, M. et al. | Tema Archiv | 2011
    Schlagwörter: Dempster-Shafer-Theorie

    CAE-basierte Abstimmung bezüglich des Fahrzeug-Leistungsverhaltens und der Getriebelebensdauer

    Kurtzke, Arnd / Hierlwimmer, Peter | Tema Archiv | 2009
    Schlagwörter: Theorie-Experiment-Vergleich

    Urban traffic signal control based on distributed constraint satisfaction

    Mizuno, K. / Fukui, Y. / Nishihara, S. | Tema Archiv | 2008
    Schlagwörter: Theorie der Nebenbedingungen , ToC (theory of constraints)

    Parallel implementation of a gas-kinetic BGK method on unstructured grids for 3-D inviscid missile flows

    Ilgaz, Murat / Tuncer, Ismail H. | Tema Archiv | 2008
    Schlagwörter: Theorie-Experiment-Vergleich

    Using knowledge in a logistical multi-agent scenario

    Dangelmaier, Wilhelm / Scheideler, Peter / Doring, Andre | Tema Archiv | 2005
    Schlagwörter: Theorie der Nebenbedingungen , ToC (theory of constraints)