Gallery of new files
From Event-B
Jump to navigationJump to searchThis special page shows the last uploaded files.
- Building Event-B Interlocking Theories - Lessons Learned using the Theory Plug-in.pdf Maintenance script
20:50, 30 April 2020
; 147 KB
- A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf Maintenance script
20:50, 30 April 2020
; 72 KB
- SliceAndMerge- A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines-slides.pdf Maintenance script
20:50, 30 April 2020
; 3.34 MB
800px-Rodin Performances Core perf simple3 nos.png Maintenance script
20:50, 30 April 2020
749 × 172; 34 KB
- Composition, Renaming and Generic Instantiation.pdf Maintenance script
20:50, 30 April 2020
; 2.72 MB
Extend Rodin Tuto 1 7 Create Interface Menu.png Maintenance script
20:50, 30 April 2020
623 × 344; 41 KB
UMLBHoursOfSleepAttribute settingProperties.jpg Maintenance script
20:50, 30 April 2020
167 × 204; 14 KB
Extend Rodin Tuto 1 5 Manifest dependencies.png Maintenance script
20:50, 30 April 2020
945 × 697; 57 KB
- Crossed-Project Reference for Managing Model Variations.pdf Maintenance script
20:50, 30 April 2020
; 154 KB
Performance of ProB on the N-Queens problem for 100 queens.jpg Maintenance script
20:50, 30 April 2020
462 × 460; 41 KB
Rodin Performances Core perf simplev2.png Maintenance script
20:50, 30 April 2020
1,176 × 281; 57 KB
