A System Substitution Mechanism for Hybrid Systems in Event-B-Reference-Cited by-同舟云学术

A System Substitution Mechanism for Hybrid Systems in Event-B

Published:2016 Issue: Volume: Page:106-121
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Babin Guillaume,Aït-Ameur Yamine,Singh Neeraj Kumar,Pantel Marc

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47846-3_8

Reference23 articles.

1. Models. http://babin.perso.enseeiht.fr/r/ICFEM_2016_Models/

2. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996). http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511624162

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

4. Abrial, J.R., Butler, M., Hallerstede, S., Hong, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)

5. Abrial, J.R., Butler, M., Hallerstede, S., Leuschel, M., Schmalz, M., Voisin, L.: Proposals for mathematical extensions for Event-B. Technical report (2009)

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

1. Survey on Building Block Technologies;Data Exfiltration Threats and Prevention Techniques;2023-05-19

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

3. A Taxonomy of Supervised Learning for IDSs in SCADA Environments;ACM Computing Surveys;2021-03-31

4. Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B;Rigorous State-Based Methods;2020

5. Automatic B-model repair using model checking and machine learning;Automated Software Engineering;2019-08-14