Open Access
Issue
MATEC Web Conf.
Volume 125, 2017
21st International Conference on Circuits, Systems, Communications and Computers (CSCC 2017)
Article Number 02033
Number of page(s) 4
Section Systems
DOI https://doi.org/10.1051/matecconf/201712502033
Published online 04 October 2017
  1. E. Borger, R. Stark Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, ISBN 978-3-642-18216-7. (2003) [CrossRef]
  2. C.B Jones. Systematic software development using VDM. New York: Prentice Hall ISBN:0-13-880733-7, 2 (1990)
  3. B. Meyer, B. In Advances in Object-Oriented Software Engineering, D. Mandrioli and B. Meyers, Eds. Prentice Hall, 1–50. (1991).
  4. P. Behm, P. Benoit, A. Faivre, & Meynadier, J.-M. météor: A successful application of B in a large project. In World Congress on Formal Methods, J. M. Wings, J. Woodcock, & J. Davies, Eds. Lecture Notes in Computer Science, vol. 1708. Springer, Berlin, Heidelberg, 369–387. ISBN:3-540-66587-0, 1 (1999)
  5. I. Houston, S. King, Experiences and results from the use of Z in IBM. In VDM ‘91: Formal Software Development Methods. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg, 558–595. (1991).
  6. J.-R. Abrial. Modeling in Event-B, Swiss Federal University (ETH), Zürich, 2010. ISBN: 978-0-521-89556-9 [CrossRef]
  7. J.-R. Abrial, M. Butler, S. Hallerstede, & L. Voisin An open extensible tool environment for Event-B, Springer, ofLNCS, 2006, pp 588–605, ISSN 0302-9743. Vol. 4260 (2006)
  8. J.-R. Abrial. Modeling in Event-B, Cambridge, ISBN-13 978-0-511-72976-8, CAMBRIDGE UNIVERSITY PRESS (2010) [CrossRef]
  9. M. Jastram, M. Butler. Rodin User’s Handbook: Covers Rodin v.2.8, CreateSpace Independent Publishing Platform, ISBN 10: 1495438147 ISBN 13: 9781495438141, USA. https://www3.hhu.de/stups/handbook/rodin/current/pdf/rodin-doc.pdf. (2014)
  10. Rodin User’s Handbook v. 2.8, Accessed on: 2014-02-04 https://www3.hhu.de/stups/handbook/rodin/current/html/introduction.html.
  11. Hallerstede, S. Justifications for the Event-B Modelling Notation. B2007: Formal Specification and Developmentin B, Springer, Vol. 4355., pp 49–63., ISSN 0302-9743. (2007)
  12. http://wiki.event-b.org/index.php/Rodin_Platform_3.2_Release_NotesRodinPlatform3.2ReleaseNotes, Accessed on: 2015-11-05
  13. http://www.event-b.org

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.