Event-B Modelling Language: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Ladenberger
No edit summary
imported>Ladenberger
No edit summary
Line 1: Line 1:
{| class="wikitable" style="font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;"
=Rodin Handbook=
|-
! scope="col" | Do not edit!  This content has been migrated to Subversion.
|-
|([http://handbook.event-b.org Nightly Handbook Build])
|}


== Event-B modelling language ==
[http://handbook.event-b.org/current/html/modeling_notation.html Rodin Handbook (Modeling Notation)]


;[[Index (Modelling Language)|in wiki format]]: translated from the original version, and being updated.
<small>
;[http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf in PDF format]: the pdf original version is also available, but now very '''out of date'''.
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:User documentation]]
[[Category:Event-B]]
[[Category:Event-B]]

Revision as of 08:44, 27 October 2011

Rodin Handbook

Rodin Handbook (Modeling Notation)

The original and now outdated version is available in PDF format here.