An extension of Event B for developing grid system

Marina Walden, Pontus Boström

Informationsteknologi

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

9 Nedladdningar (Pure)

1 resultat

Filter

Slutfört

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