D32 Scalability

From Event-B
Revision as of 10:19, 1 December 2010 by imported>Son (→‎Motivations)
Jump to navigationJump to 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