Difference between revisions of "Event-B Modelling Language"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>Mathieu
m (Categories)
Line 1: Line 1:
 
Event-B modelling language
 
Event-B modelling language
 
[http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf in PDF format]
 
[http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf in PDF format]
 +
 +
[[Category:User Documentation]]
 +
[[Category:Event-B]]

Revision as of 10:58, 10 July 2008

Event-B modelling language in PDF format