File list

From Event-B
Jump to navigationJump to search

This special page shows all uploaded files.

File list
First pagePrevious pageNext pageLast page
Date Name Thumbnail Size Description Versions
20:50, 30 April 2020 Rodin2010-sld-maamria.pdf (file) 552 KB   1
20:49, 30 April 2020 Theory Plugin.pdf (file) 555 KB   1
20:49, 30 April 2020 GUI.png (file) 557 KB   1
20:50, 30 April 2020 AITSADOUNE Rodin2014.pdf (file) 558 KB   1
20:49, 30 April 2020 Shchepetkov-presentation.pdf (file) 582 KB   1
20:50, 30 April 2020 CFS1 Rodin14 Statemachines.pdf (file) 582 KB   1
20:49, 30 April 2020 ColleyJuly09.pdf (file) 584 KB   1
20:50, 30 April 2020 Theory UM.pdf (file) 640 KB   1
20:49, 30 April 2020 Theory Plugin User Manual.pdf (file) 657 KB   1
20:50, 30 April 2020 AnimB.pdf (file) 659 KB   1
20:49, 30 April 2020 UML-B RailwaySafetyRequirements.pdf (file) 700 KB   1
20:49, 30 April 2020 Event-B Safety.pdf (file) 728 KB   1
20:49, 30 April 2020 Translating SCXML Statecharts to-iUML-B State-machines-slides.pdf (file) 743 KB   1
20:49, 30 April 2020 Meta-Predicates for Rodin-slides.pdf (file) 757 KB   1
20:49, 30 April 2020 IUML-BStatemachinesLecture.pdf (file) 767 KB   1
20:49, 30 April 2020 Supporting Reuse of Event-B Developments through Generic Instantiation.pdf (file) 782 KB   1
20:50, 30 April 2020 Rodin-programme-rodin-workshop.pdf (file) 802 KB   1
20:49, 30 April 2020 Rodin plug-in tutorial 2009-07-15.pdf (file) 847 KB   1
20:50, 30 April 2020 Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf (file) 891 KB   1
20:49, 30 April 2020 Requirements-quo-vadis.pdf (file) 896 KB   1
20:49, 30 April 2020 ICFEM 2009 revised presentation.pdf (file) 917 KB   1
20:49, 30 April 2020 SM&D-KAR.pdf (file) 926 KB   1
20:50, 30 April 2020 Slides PereverzevaInna.pdf (file) 966 KB   1
20:50, 30 April 2020 Rodin2010-sld-milhau.pdf (file) 984 KB   1
20:50, 30 April 2020 Rodin2010-sld-llano etal 1.pdf (file) 986 KB   1
20:50, 30 April 2020 MLeuschel interlocking rodin abz14 talk clean.pdf (file) 995 KB   1
20:50, 30 April 2020 RodinWorkshopPresentation.pdf (file) 1.02 MB   1
20:49, 30 April 2020 UMLBRefinement.pdf (file) 1.06 MB   1
20:49, 30 April 2020 Rodin2010-sld-hallerstede.pdf (file) 1.13 MB   1
20:49, 30 April 2020 Soton-workshop.pdf (file) 1.2 MB   1
20:50, 30 April 2020 Sotan-workshop.pdf (file) 1.2 MB   1
20:49, 30 April 2020 Extending Code Generation to Support Platform-Independent Event-B Models-slides.pdf (file) 1.27 MB   1
20:50, 30 April 2020 An EMF framework for EventB.pdf (file) 1.28 MB   1
20:50, 30 April 2020 MLeuscshel TheorySupport Rodin ABZ14.pdf (file) 1.33 MB   1
20:49, 30 April 2020 Reasoned modelling.pdf (file) 1.36 MB   1
20:50, 30 April 2020 Rodin2010-sld-silva.pdf (file) 1.53 MB   1
20:50, 30 April 2020 Soton flow.pdf (file) 1.71 MB   1
20:50, 30 April 2020 Atomicity Decomposition.pdf (file) 2.02 MB   1
20:50, 30 April 2020 Dusseldorf SM Animation.pdf (file) 2.27 MB   1
20:49, 30 April 2020 Rodin2010-sld-jastram.pdf (file) 2.27 MB   1
20:49, 30 April 2020 Rodin2010-sld-grov etal.pdf (file) 2.3 MB   1
20:50, 30 April 2020 Composition, Renaming and Generic Instantiation.pdf (file) 2.72 MB   1
20:49, 30 April 2020 An Overview of Overture.pdf (file) 2.77 MB   1
20:50, 30 April 2020 Rodin2010-sld-ulbrich.pdf (file) 2.93 MB   1
20:49, 30 April 2020 Rodin2010-sld-lopatkin etal.pdf (file) 3.07 MB   1
20:50, 30 April 2020 Using and extending prob.pdf (file) 3.11 MB   1
20:50, 30 April 2020 SliceAndMerge- A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines-slides.pdf (file) 3.34 MB   1
20:50, 30 April 2020 Rodin2010-sld-leuschel plagge.pdf (file) 3.95 MB   1
20:50, 30 April 2020 Rodin2010-sld-turcanu.pdf (file) 4.24 MB   1
20:50, 30 April 2020 Building Event-B Interlocking Theories- Lessons Learned using the Theory Plug-in.pdf (file) 6.59 MB   1
First pagePrevious pageNext pageLast page
Retrieved from ‘https://wiki.event-b.org/index.php/Special:ListFiles’