An extension of Event B for developing grid system

Hakutulokset

• Päättynyt

  RODIN: Rigorous Open Development Environment for Complex Systems

  Troubitsyna, E. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), Lilius, J. (Vastuullinen tutkija), Laibinis, L. (Vastuullinen tutkija) & Walden, M. (Vastuullinen tutkija)

  01/04/04 → 31/12/07

  Projekti: EU