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