Difference between revisions of "D32 Scalability"

From Event-B
Jump to: navigation, search
m (New page: === Overview === === Motivations === === Choices/Decisions === === Available Documentation === === Planning ===)
 
m
Line 1: Line 1:
 
=== Overview ===
 
=== 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 ===
 
=== Motivations ===
Line 8: Line 11:
  
 
=== Planning ===
 
=== Planning ===
 +
 +
 +
=== References ===
 +
<references/>
 +
 +
[[Category:D32 Deliverable]]
 +
[[Category:Books]]

Revision as of 11: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

Choices/Decisions

Available Documentation

Planning

References