Projects per year
Projects
- 1 Finished
Search results
-
Finished
An Intergrated Framework for Formal Vertification and Distributed Simulation of Asynchronous
Theodoropoulos, G. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/09/03 → 31/08/06
Project: Research Councils