Domain-specific Material Sample Clauses

Domain-specific Material. The domain specific material is mainly related to the mini-pilots and pilots from the various industrial partners. The description of these mini-pilots and pilots are in our earlier deliverables [ABB+09]. They are typical systems of the corresponding deployment sectors that have been chosen for technology transfer purpose. Note that this technology transfer is bi-directional: the mini-pilots and pilots are for academic partners and technology providers to understand the domain-specific problem and also for deployment partners to understand the Event-B method and master the use of the RODIN platform.