Difference between revisions of "D32 Scalability"

From Event-B
Jump to navigationJump to search
imported>Son
m
imported>Son
Line 5: Line 5:
  
 
=== Motivations ===
 
=== Motivations ===
 +
 +
==== Qualitative Reasoning ====
  
 
=== Choices/Decisions ===
 
=== Choices/Decisions ===

Revision as of 10:19, 1 December 2010

Overview

Regarding scalability of the Rodin platform, the following contributions has been made:

  • Emre Yilmaz and Thai Son Hoang (ETH Zurich) has developed a plug-in for

Motivations

Qualitative Reasoning

Choices/Decisions

Available Documentation

Planning

References