This site has been permanently archived. This is a static copy provided by the University of Southampton.

Industrial deployment of system engineering methods providing high dependability and productivity

Browse by Subject

Please select a value to browse from the list below.

Repository Subject Areas (342)
- ADVANCE Project (19)
- Event-B (151)
  - Event-B Examples (61)
  - Event-B Theory (27)
- Industrial Deployment (90)
  - Automotive (1)
  - Business (17)
  - Other (9)
  - Pervasive telecoms (1)
  - Space (34)
  - Transportation (8)
- Methodology (202)
  - Composition and reuse (45)
  - Other (24)
  - Proof and model checking (22)
  - Real-time systems (8)
  - Refinement (50)
  - Requirements and evolution (28)
  - Resilience (40)
  - Security (4)
- Tool developments (108)
  - Code generation (11)
  - Model checking (12)
  - Model construction (17)
  - Other (10)
  - Provers (13)
  - Rodin platform (7)
  - Rodin plug-ins (28)
- Training (51)
  - Event-B (28)
  - Rodin plug-ins (3)
  - Rodin tool (10)

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved