Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference33 articles.
1. Akers, A., Gassman, M., Smith, R.: Hydraulic Power System Analysis. CRC Press, Boca Raton (2010)
2. Banach, R.: Retrenchment for Event-B: UseCase-wise development and Rodin integration. Formal Aspects Comput. 23, 113–131 (2011)
3. Banach, R.: Landing Gear System Case Study in Hybrid Event-B Web Site (2013). http://www.cs.man.ac.uk/~banach/some.pubs/ABZ2014LandingGearCaseStudy/LandingGearCaseStudy.html
4. Banach, R.: Pliant Modalities in Hybrid Event-B. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods, vol. 8051, pp. 37–53. Springer, Heidelberg (2013)
5. Banach, R.: Invariant guided system decomposition. In: Ait Ameur, Y., Schewe K.-D. (eds.) Abstract State Machines, Alloy, B, TLA, VDM, and Z. LNCS, vol. 8477, pp. 271–276. Springer, Heidelberg (2014)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献