Skip to main content
Conference Proceedings

On B and event-B: Principles, success and challenges

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2018) 10817 LNCS 31-35
DOI: 10.1007/978-3-319-91271-4_3
15Citations
Citations of this article
N/AReaders
Mendeley users who have this article in their library.
Get full text

Abstract

After more than 20 years since the publication of the book on B [1], and almost 10 years since the publication of the book on Event-B [2], the purpose of this short paper is to present some key points of these technologies.

Cite

CITATION STYLE

APA

Abrial, J. R. (2018). On B and event-B: Principles, success and challenges. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10817 LNCS, pp. 31–35). Springer Verlag. https://doi.org/10.1007/978-3-319-91271-4_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free