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

1–20 of 162 hits
|

    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)

    Passivity-Based Control for Fractional Order Unified Chaotic System

    Wang, Q. / Qi, D. | British Library Conference Proceedings | 2014

    Discrete Chaotic Synchronization and Its Application in Image Encryption

    Wang, H. / Wu, J.-P. / Sheng, X.-S. et al. | British Library Conference Proceedings | 2014

    Batch-Wise Updating Neuro-Fuzzy Model Based Predictive Control for Batch Processes

    Li, Q. / Jia, L. / Yang, T. | British Library Conference Proceedings | 2014

    A Study of Adaptive Neural Network Control System

    Zhong, H. / Li, D. / Tu, K. | British Library Conference Proceedings | 2014

    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)

    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)

    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)

    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)

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