Difference between revisions of "D32 Scalability"
From Event-B
Jump to navigationJump to searchimported>Son m (New page: === Overview === === Motivations === === Choices/Decisions === === Available Documentation === === Planning ===) |
imported>Son 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 10:19, 1 December 2010
Contents
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
