D32 Scalability: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son m New page: === Overview === === Motivations === === Choices/Decisions === === Available Documentation === === Planning === |
imported>Son mNo edit summary |
||
| 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
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
