Synonyme wurden verwendet für: Atmospheric conference science
Suche ohne Synonyme: title: Atmospheric science conference

1–20 von 163 Ergebnissen
|

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

    Kossak, F. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Context-Aware Verification of a Landing Gear System

    Dhaussy, P. / Teodorov, C. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Modeling an Aircraft Landing System in Event-B

    Mery, D. / Singh, N.K. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Modeling a Landing Gear System in Event-B

    Mammar, A. / Laleau, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Co-simulation Environment for Rodin: Landing Gear Case Study

    Savick, V. / Butler, M. / Colley, J. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    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: Formal methods (Computer science) , B method (Computer science)

    Event-Triggered State Estimation for Complex Systems with Randomly Nonlinearities and Time-Varying Delay

    Tan, Y. / Liu, J. / Zhang, Y. | British Library Conference Proceedings | 2014

    Decentralized Control for Power Systems Components Based-on Nonlinear Differential-Algebraic Equations Subsystem Model

    Zang, Q. / Zhou, Y. / Mei, P. et al. | British Library Conference Proceedings | 2014

    Sensorless Vector Control of PMSM in Wide Speed Range

    Yan, T. / Liu, J. / Zhang, H. | British Library Conference Proceedings | 2014

    Application of the Improved Quantum Genetic Algorithm

    Xu, Y. / Mei, X. / Dai, Z. et al. | British Library Conference Proceedings | 2014

    A Simple Human Learning Optimization Algorithm

    Wang, L. / Ni, H. / Yang, R. et al. | British Library Conference Proceedings | 2014

    A Systematic Fire Detection Approach Based on Sparse Least-Squares SVMs

    Zhang, J. / Li, K. / Zhao, W. et al. | British Library Conference Proceedings | 2014

    Improved Mean-Value Coordinates Algorithm for Image Fusion

    Fu, C. / Shao, Y. / Deng, L. et al. | British Library Conference Proceedings | 2014

    An Improved Artificial Fish Swarm Algorithm and Application

    Luan, X. / Jin, B. / Liu, T. et al. | British Library Conference Proceedings | 2014

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

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    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: Formal methods (Computer science) , B method (Computer science)

    The Landing Gear Case Study in Hybrid Event-B

    Banach, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    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: Formal methods (Computer science) , B method (Computer science)