The landing gear system in multi-machine Hybrid Event-B
暂无分享,去创建一个
[1] Angelika Mueller. Formal Modeling And Analysis Of Timed Systems , 2016 .
[2] Richard Banach. Pliant Modalities in Hybrid Event-B , 2013, Theories of Programming and Formal Methods.
[3] Richard Banach. Invariant Guided System Decomposition , 2014, ABZ.
[4] Susan Stepney,et al. Engineering and theoretical underpinnings of retrenchment , 2007, Sci. Comput. Program..
[5] Shengchao Qin,et al. Core Hybrid Event-B I: Single Hybrid Event-B machines , 2015, Sci. Comput. Program..
[6] Thai Son Hoang,et al. Decomposition tool for event‐B , 2011, Softw. Pract. Exp..
[7] Richard Banach,et al. Retrenchment: An Engineering Variation on Refinement , 1998, B.
[8] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[9] Alberto L. Sangiovanni-Vincentelli,et al. Languages and Tools for Hybrid Systems Design , 2006, Found. Trends Electron. Des. Autom..
[10] Arthur Akers,et al. Hydraulic Power System Analysis , 2006 .
[11] Richard Banach. The Landing Gear Case Study in Hybrid Event-B , 2014, ABZ.
[12] Andreas Ritter,et al. Hydraulic Control Systems , 2016 .
[13] Michael J. Butler,et al. Decomposition Structures for Event-B , 2009, IFM.
[14] Shengchao Qin,et al. Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines , 2017, Sci. Comput. Program..
[15] Richard Banach,et al. Composition mechanisms for retrenchment , 2008, J. Log. Algebraic Methods Program..
[16] Kyung H. Yoo,et al. Pumps and Pumping , 1994 .
[17] Richard Banach. Retrenchment for Event-B: UseCase-wise development and Rodin integration , 2009, Formal Aspects of Computing.
[18] Janos Sztipanovits,et al. Model Integration and Cyber Physical Systems: A Semantics Perspective , 2011, FM.
[19] Jennifer M. Davoren. Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces , 2009, HSCC.
[20] Frédéric Boniol,et al. The Landing Gear System Case Study , 2014, ABZ.
[21] Marco Bozzano,et al. The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits , 2011, Formal Aspects of Computing.
[22] Marco Bozzano,et al. The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits , 2011, Formal Aspects of Computing.
[23] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[24] Leonard Barolli,et al. Special issue on emerging trends in cyber-physical systems , 2011, J. Ambient Intell. Humaniz. Comput..
[25] Thai Son Hoang,et al. Refinement by Interface Instantiation , 2012, ABZ.
[26] Martin Fränzle,et al. Crossing the Bridge between Similar Games , 2011, FORMATS.
[27] Paulo Tabuada,et al. Verification and Control of Hybrid Systems , 2009 .
[28] Richard Banach,et al. Retrenchment and refinement interworking: the tower theorems , 2015, Math. Struct. Comput. Sci..
[29] Myla Archer,et al. A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition , 2009, FM.
[30] Anatol Slissenko. On Semantics of Algorithms with Continuous Time on Semantics of Algorithms with Continuous Time , 1997 .
[31] Zehua Chen. Component reliability analysis of k-out-of-n systems with: censored data , 2003 .