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

1–20 of 165 hits
|

    Image Assimilation for Motion Estimation of Atmospheric Layers with Shallow-Water Model

    Papadakis, Nicolas / Héas, Patrick / Mémin, Étienne | Springer Verlag | 2007

    The complexity of dynamical laws governing 3D atmospheric flows associated to incomplete and noisy observations

     ...
    Keywords: Atmospheric Layer , Computer Science

    The geostationary operational satellite R series SpaceWire based data system: Session: SpaceWire networks and protocols, long paper

    Anderson, William / Krimchansky, Alexander / Birmingham, Michael et al. | IEEE | 2016
    Oceanic & Atmospheric Administration (NOAA) and National Aeronautics & Space Administration (NASA) Goddard Space Flight Center (GSFC ...

    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)

    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)

    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)

    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)

    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 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)

    Switched Topology Control and Negotiation of Distributed Self-healing for Mobile Robot Formation

    Ju, J. / Liu, Z. / Chen, W. et al. | British Library Conference Proceedings | 2014

    A Novel Deterministic Quantum Swarm Evolutionary Algorithm

    Wang, X. / Qian, L. / Wang, L. et al. | British Library Conference Proceedings | 2014

    A Novel Learning Algorithm for Pallet Grouping Technology

    Lin, W. / Lian, Z. / Jiao, B. et al. | British Library Conference Proceedings | 2014

    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