Event-B: From Systems to Sub-systems Modeling

Kenza Kraibi
Digital Printed Abstract View Cite
Type
Conference paper
Publication
7th International Conference on Rigorous State Based Methods (ABZ'20)

Abstract

Event-B [3] is a formal method that allows the verification of critical systems properties.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{Kraibi20,
  author       = {Kenza Kraibi},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry and
                  Frank Houdek},
  title        = {Event-B: From Systems to Sub-systems Modeling},
  booktitle    = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
                  2020, Ulm, Germany, May 27-29, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12071},
  pages        = {418--422},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-48077-6\_35},
  doi          = {10.1007/978-3-030-48077-6\_35},
  timestamp    = {Sun, 02 Oct 2022 15:55:03 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/Kraibi20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'20

Related