File list
From Event-B
Jump to navigation
Jump to search
This special page shows all uploaded files.
File list
Items per page:
20
50
100
250
500
Search for media name:
Username:
Include old versions of files
Go
First page
Previous page
Next page
Last page
Date
Name
Thumbnail
Size
Description
Versions
20:50, 30 April 2020
Building Event-B Interlocking Theories- Lessons Learned using the Theory Plug-in.pdf
(
file
)
6.59 MB
1
20:50, 30 April 2020
Rodin2010-sld-turcanu.pdf
(
file
)
4.24 MB
1
20:50, 30 April 2020
Rodin2010-sld-leuschel plagge.pdf
(
file
)
3.95 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
Using and extending prob.pdf
(
file
)
3.11 MB
1
20:49, 30 April 2020
Rodin2010-sld-lopatkin etal.pdf
(
file
)
3.07 MB
1
20:50, 30 April 2020
Rodin2010-sld-ulbrich.pdf
(
file
)
2.93 MB
1
20:49, 30 April 2020
An Overview of Overture.pdf
(
file
)
2.77 MB
1
20:50, 30 April 2020
Composition, Renaming and Generic Instantiation.pdf
(
file
)
2.72 MB
1
20:49, 30 April 2020
Rodin2010-sld-grov etal.pdf
(
file
)
2.3 MB
1
20:49, 30 April 2020
Rodin2010-sld-jastram.pdf
(
file
)
2.27 MB
1
20:50, 30 April 2020
Dusseldorf SM Animation.pdf
(
file
)
2.27 MB
1
20:50, 30 April 2020
Atomicity Decomposition.pdf
(
file
)
2.02 MB
1
20:50, 30 April 2020
Soton flow.pdf
(
file
)
1.71 MB
1
20:50, 30 April 2020
Rodin2010-sld-silva.pdf
(
file
)
1.53 MB
1
20:49, 30 April 2020
Reasoned modelling.pdf
(
file
)
1.36 MB
1
20:50, 30 April 2020
MLeuscshel TheorySupport Rodin ABZ14.pdf
(
file
)
1.33 MB
1
20:50, 30 April 2020
An EMF framework for EventB.pdf
(
file
)
1.28 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
Sotan-workshop.pdf
(
file
)
1.2 MB
1
20:49, 30 April 2020
Soton-workshop.pdf
(
file
)
1.2 MB
1
20:49, 30 April 2020
Rodin2010-sld-hallerstede.pdf
(
file
)
1.13 MB
1
20:49, 30 April 2020
UMLBRefinement.pdf
(
file
)
1.06 MB
1
20:50, 30 April 2020
RodinWorkshopPresentation.pdf
(
file
)
1.02 MB
1
20:50, 30 April 2020
MLeuschel interlocking rodin abz14 talk clean.pdf
(
file
)
995 KB
1
20:50, 30 April 2020
Rodin2010-sld-llano etal 1.pdf
(
file
)
986 KB
1
20:50, 30 April 2020
Rodin2010-sld-milhau.pdf
(
file
)
984 KB
1
20:50, 30 April 2020
Slides PereverzevaInna.pdf
(
file
)
966 KB
1
20:49, 30 April 2020
SM&D-KAR.pdf
(
file
)
926 KB
1
20:49, 30 April 2020
ICFEM 2009 revised presentation.pdf
(
file
)
917 KB
1
20:49, 30 April 2020
Requirements-quo-vadis.pdf
(
file
)
896 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
Rodin plug-in tutorial 2009-07-15.pdf
(
file
)
847 KB
1
20:50, 30 April 2020
Rodin-programme-rodin-workshop.pdf
(
file
)
802 KB
1
20:49, 30 April 2020
Supporting Reuse of Event-B Developments through Generic Instantiation.pdf
(
file
)
782 KB
1
20:49, 30 April 2020
IUML-BStatemachinesLecture.pdf
(
file
)
767 KB
1
20:49, 30 April 2020
Meta-Predicates for Rodin-slides.pdf
(
file
)
757 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
Event-B Safety.pdf
(
file
)
728 KB
1
20:49, 30 April 2020
UML-B RailwaySafetyRequirements.pdf
(
file
)
700 KB
1
20:50, 30 April 2020
AnimB.pdf
(
file
)
659 KB
1
20:49, 30 April 2020
Theory Plugin User Manual.pdf
(
file
)
657 KB
1
20:50, 30 April 2020
Theory UM.pdf
(
file
)
640 KB
1
20:49, 30 April 2020
ColleyJuly09.pdf
(
file
)
584 KB
1
20:50, 30 April 2020
CFS1 Rodin14 Statemachines.pdf
(
file
)
582 KB
1
20:49, 30 April 2020
Shchepetkov-presentation.pdf
(
file
)
582 KB
1
20:50, 30 April 2020
AITSADOUNE Rodin2014.pdf
(
file
)
558 KB
1
20:49, 30 April 2020
GUI.png
(
file
)
557 KB
1
20:49, 30 April 2020
Theory Plugin.pdf
(
file
)
555 KB
1
20:50, 30 April 2020
Rodin2010-sld-maamria.pdf
(
file
)
552 KB
1
First page
Previous page
Next page
Last page
Navigation menu
Page actions
Special page
Page actions
Special page
Tools
Personal tools
Log in
Navigation
Main Page
Event-B Language
Rodin Platform
Plug-in
Developer Support
FAQ
Event-B Examples
Industrial Projects
Random page
''Event-B and Rodin''
contribute
Wiki help
Village Pump
Recent changes
Search
Tools
User contributions
Logs
View user groups
Special pages
Printable version