Difference between revisions of "D32 Scalability"
From Event-B
Jump to navigationJump to searchimported>Son m |
imported>Son m (→Motivations) |
||
Line 5: | Line 5: | ||
=== Motivations === | === Motivations === | ||
+ | |||
+ | ==== Qualitative Reasoning ==== | ||
=== Choices/Decisions === | === Choices/Decisions === |
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