# Difference between revisions of "Event-B Modelling Language"

From Event-B

m |
Ladenberger (talk | contribs) |
||

(3 intermediate revisions by 2 users not shown) | |||

Line 1: | Line 1: | ||

− | + | This page gives a brief summary of documents describing Event-B's modeling notation. | |

− | + | =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:User documentation]] | ||

[[Category:Event-B]] | [[Category:Event-B]] |

## Latest revision as of 08:45, 27 October 2011

This page gives a brief summary of documents describing Event-B's modeling notation.

# Rodin Handbook

Rodin Handbook (Modeling Notation)

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