D32 Scalability

From Event-B
Revision as of 11:19, 1 December 2010 by Son (talk | contribs) (Motivations)
Jump to: navigation, search

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

Qualitative Reasoning

Choices/Decisions

Available Documentation

Planning

References