The CamilleX Framework for the Rodin Platform-Reference-Cited by-同舟云学术

The CamilleX Framework for the Rodin Platform

Author:

Hoang Thai Son^ORCID,Snook Colin^ORCID,Dghaym Dana^ORCID,Salehi Fathabadi Asieh^ORCID,Butler Michael^ORCID

Publisher

Springer International Publishing

Link

Reference11 articles.

3. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing, Birmingham (2016)

4. Dghaym, D., Hoang, T.S., Butler, M., Hu, R., Aniello, L., Sassone, V.: Verifying system-level security of a smart ballot box. In: ABZ 2021 (2021)

5. Salehi Fathabadi, A., Snook, C., Hoang, T.S., Dghaym, D., Butler, M.: Extensible record structures in Event-B. In: ABZ 2021 (2021)

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

1. Verifying HyperLTL Properties in Event-B;Lecture Notes in Computer Science;2024

2. Meta-programming Event-B;Lecture Notes in Computer Science;2024

3. Developing the UML-B Modelling Tools;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

4. Building an Extensible Textual Framework for the Rodin Platform;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

5. Generating SPARK from Event-B, Providing Fundamental Safety and Security;Advances in Model and Data Engineering in the Digitalization Era;2022