D32 Scalability: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son mNo edit summary |
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
