User:Laurent/Collections/Deploy Deliverable D6
From Event-B
Jump to navigationJump to search
Deploy Deliverable D6
Model Construction Tools and Analysis
- Requirements management
The tutorial is currently incomplete. Also, add design documentation from Systerel
- UML integration
- Improved scalability
Soton (Renaming)
- Mathematical extensions
Soton + ETH (outline proposals)
- Model animation and testing
Currently in STUPS wiki which I can't access