Synonyms were used for: Atmospheric conference science
Search without synonyms: title: Atmospheric science conference

1–20 of 164 hits
|

    Application of CFD to Building Thermal Control Analysis

    Chang, Jing-Yi / Kuan, Yean-Der | Tema Archive | 2012
    the relative position of the sun and atmospheric wind flow field on the distribution of building surface temperatures and flow fields at ...

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

    Kossak, F. | British Library Conference Proceedings | 2014
    Keywords: 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
    Keywords: Formal methods (Computer science) , B method (Computer science)

    Validation of the ABZ Landing Gear System Using ProB

    Hansen, D. / Ladenberger, L. / Wiegard, H. et al. | British Library Conference Proceedings | 2014
    Keywords: 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
    Keywords: Formal methods (Computer science) , B method (Computer science)

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

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Keywords: 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
    Keywords: 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
    Keywords: Formal methods (Computer science) , B method (Computer science)

    The Landing Gear Case Study in Hybrid Event-B

    Banach, R. | British Library Conference Proceedings | 2014
    Keywords: 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
    Keywords: 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
    Keywords: 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
    Keywords: Formal methods (Computer science) , B method (Computer science)

    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014
    Keywords: 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

    Human-UAV Coordinated Flight Path Planning of UAV Low-Altitude Penetration on Pop-Up Threats

    Ren, P. / Gao, X.-g. / Chen, J. | British Library Conference Proceedings | 2014

    Analytical Model for Epidemic Information Dissemination in Mobile Social Networks with a Novel Selfishness Division

    Xu, Q. / Su, Z. / Han, B. et al. | British Library Conference Proceedings | 2014