Gallery of new files
From Event-B
Jump to navigationJump to searchThis special page shows the last uploaded files.
- 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
- SMT 1.4 Perf Total Remaining POs All Provers.png Maintenance script
20:50, 30 April 2020
1,638 × 768; 42 KB
- Building Event-B Interlocking Theories- Lessons Learned using the Theory Plug-in.pdf Maintenance script
20:50, 30 April 2020
; 6.59 MB
- Rodin Performances Editor perf simple.png Maintenance script
20:50, 30 April 2020
1,756 × 565; 108 KB
- Rodin Performances Editor perf simplev2 nos.png Maintenance script
20:50, 30 April 2020
1,654 × 459; 80 KB
- Translating SCXML Statecharts to iUML-B State-machines.pdf Maintenance script
20:50, 30 April 2020
; 216 KB
- Extend Rodin Tuto 1 2 NewPlug-inProject.png Maintenance script
20:50, 30 April 2020
652 × 663; 67 KB
- Rodin feature dependencies refactor.svg Maintenance script
20:50, 30 April 2020
1,311 × 1,051; 24 KB
- Extend Rodin Tuto 1 7 Add Attibute Extension2.png Maintenance script
20:50, 30 April 2020
616 × 161; 14 KB
- Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf Maintenance script
20:50, 30 April 2020
; 891 KB
- Extend Rodin Tuto 1 7 Bound Extension New Java Class Bound.png Maintenance script
20:49, 30 April 2020
619 × 692; 73 KB
- Using Rodin and BMotionStudio for Public Engagement.pdf Maintenance script
20:49, 30 April 2020
; 329 KB
- Extend Rodin Tuto 1 12 PrettyPrint for BoundElement.png Maintenance script
20:49, 30 April 2020
487 × 203; 11 KB
- Extend Rodin Tuto 1 6 Add Extension Point.png Maintenance script
20:49, 30 April 2020
853 × 693; 49 KB
- Supporting Reuse of Event-B Developments through Generic Instantiation.pdf Maintenance script
20:49, 30 April 2020
; 782 KB
- Extend Rodin Tuto 1 7 ProjectExplorer2.png.png Maintenance script
20:49, 30 April 2020
359 × 274; 23 KB
- Extend Rodin Tuto 1 7 Add Attibute Relation Extension1.png Maintenance script
20:49, 30 April 2020
1,018 × 555; 46 KB
- Extend Rodin Tuto 1 11 Add PrettyPrinter.png Maintenance script
20:49, 30 April 2020
571 × 272; 32 KB
- Extend Rodin Tuto 1 10 boundContentExtension.png Maintenance script
20:49, 30 April 2020
571 × 390; 50 KB
- Extend Rodin Tuto 1 9 Bound in EventB Explorer.png Maintenance script
20:49, 30 April 2020
216 × 162; 10 KB
- Rodin in the Field of Railway System Engineering.pdf Maintenance script
20:49, 30 April 2020
; 64 KB
- Using Rodin and BMotionStudio for Public Engagement-slides.pdf Maintenance script
20:49, 30 April 2020
; 42 KB
- Refactory progress updating rodin indexer.png Maintenance script
20:49, 30 April 2020
465 × 229; 23 KB