Gallery of new files
From Event-B
Jump to navigationJump to searchThis special page shows the last uploaded files.
- SlideAndMerge - A Rodin plug-in for refactoring refinement structure of Event-B machines.pdf Maintenance script
20:49, 30 April 2020
; 131 KB
- Event-B Specification Templates for Defining Domain Specific Languages.pdf Maintenance script
20:49, 30 April 2020
; 105 KB
- Extend Rodin Tuto 1 6 Extension Point Selection.png Maintenance script
20:49, 30 April 2020
513 × 660; 58 KB
- Extend Rodin Tuto 1 7 Add Attibute Relation Extension2.png Maintenance script
20:49, 30 April 2020
855 × 418; 51 KB
- Userslmcghiedocumentsupload-testslideshare-test-1-1-728.jpg Maintenance script
20:49, 30 April 2020
728 × 546; 14 KB
- Rodin Performances Editor perf simplev2.png Maintenance script
20:49, 30 April 2020
1,756 × 565; 108 KB