An extension of Event B for developing grid system

Sökresultat

• 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