TY  - UNPB
ID  - deploy463
UR  - http://deploy-eprints.ecs.soton.ac.uk/463/
A1  - Snook, Colin
A1  - Savicks, Vitaly
A1  - Fritz, Fabian
A1  - Illisaov, Alexei
TI  - Frameworks for developing Event-B modelling extensions in EMF
N2  - These Slides are intended for for plugin developers who wish to extend the Event-B notation using EMF modelling facilities. Diagrammatic editors are also supported. (Some of these slides were originally developed in the deploy project and have been extended during the Advance project)
PB  - None
AV  - public
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>