Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement-Reference-Cited by-同舟云学术

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

Published:2020 Issue: Volume: Page:251-267
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Dupont Guillaume,Aït-Ameur Yamine,Singh Neeraj K.,Ishikawa Fuyuki,Kobayashi Tsutomu,Pantel Marc

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-63406-3_15

Reference23 articles.

1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)

2. Abrial, J.R., Butler, M., Hallerstede, S., Leuschel, M., Schmalz, M., Voisin, L.: Proposals for mathematical extensions for Event-B. Technical report (2009). http://deploy-eprints.ecs.soton.ac.uk/216/

3. Lecture Notes in Computer Science;R Alur,1993

4. Lecture Notes in Computer Science;E Asarin,2002

5. Lecture Notes in Computer Science;R-J Back,2000

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Core Hybrid Event-B III: Fundamentals of a reasoning framework;Science of Computer Programming;2024-01

2. Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B;Science of Computer Programming;2022-04

3. Formal Modeling and Verification of Software Systems with Stepwise Refinement and Theorem Proving;Journal of the Robotics Society of Japan;2022

4. Event-B Hybridation;ACM Transactions on Embedded Computing Systems;2021-06

5. Event-B Refinement for Continuous Behaviours Approximation;Automated Technology for Verification and Analysis;2021