Open Access
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
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] [Google Scholar]
  2. C.B Jones. Systematic software development using VDM. New York: Prentice Hall ISBN:0-13-880733-7, 2 (1990) [Google Scholar]
  3. B. Meyer, B. In Advances in Object-Oriented Software Engineering, D. Mandrioli and B. Meyers, Eds. Prentice Hall, 1–50. (1991). [Google Scholar]
  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) [Google Scholar]
  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). [Google Scholar]
  6. J.-R. Abrial. Modeling in Event-B, Swiss Federal University (ETH), Zürich, 2010. ISBN: 978-0-521-89556-9 [CrossRef] [Google Scholar]
  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) [Google Scholar]
  8. J.-R. Abrial. Modeling in Event-B, Cambridge, ISBN-13 978-0-511-72976-8, CAMBRIDGE UNIVERSITY PRESS (2010) [CrossRef] [Google Scholar]
  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. (2014) [Google Scholar]
  10. Rodin User’s Handbook v. 2.8, Accessed on: 2014-02-04 [Google Scholar]
  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) [Google Scholar]
  12., Accessed on: 2015-11-05 [Google Scholar]
  13. [Google Scholar]

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.