An extension of Event B for developing grid system

Marina Walden, Pontus Boström

Information Technology

Research output: Book/Journal/Report › Commissioned report › Professional

17 Downloads (Pure)

1 results

Finished

RODIN: Rigorous Open Development Environment for Complex Systems
Troubitsyna, E., Sere, K., Lilius, J., Laibinis, L. & Walden, M.
01/04/04 → 31/12/07
Project: EU