Difference between pages "Event-B Modelling Language" and "Event-B XText Front-end"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Ladenberger
 
imported>Son
(Created page with "This page is maintained")
 
Line 1: Line 1:
−
This page gives a brief summary of documents describing Event-B's modeling notation.
+
This page is maintained
−
 
 
−
=Rodin Handbook=
 
−
 
 
−
[http://handbook.event-b.org/current/html/modeling_notation.html Rodin Handbook (Modeling Notation)]
 
−
 
 
−
<small>
 
−
The original and now outdated version is available [http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf in PDF format here].
 
−
</small>
 
−
 
 
−
[[Category:User documentation]]
 
−
[[Category:Event-B]]
 

Revision as of 15:07, 4 November 2016

This page is maintained

Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_Modelling_Language&oldid=4299’