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

1–20 von 739 Ergebnissen
|

    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

    Localization of the most amplified perturbation in a vortex rope located in Francis turbine at partial discharge

    Topor, M. / Bistrian, D.A. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories

    A mathematical model for the thrust force generated by a flapping elastic wing

    Tarasov, A.E. / Sumbatyan, M.A. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories

    Commutators of Hardy operators in vanishing Morrey spaces

    Persson, L.-E. / Ragusa, M.A. / Samko, N. et al. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories

    What can be learned from birds for achieving directional stability without a fin

    Sachs, G. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories

    Local distortion of monogenic functions

    Morais, J. / Nolder, C.A. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories

    Methods in the analysis of mobile robots behavior in unstructured environment

    Mondoc, A. / Dolga, V. / Gorie, N. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories

    Ising antiferromagnet in the critical magnetic field on square lattice with free boundary conditions

    Kim, S.-Y. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories

    Translating cosmological special relativity into geometric algebra

    Horn, M.E. | British Library Conference Proceedings | 2012
    Schlagwörter: Nonlinear theories