Projects per year
Projects
- 2 Finished
Search results
-
Finished
hiJaC: HIJAC: High-Integrity Java applications using circus
Cavalcanti, A. L. C., Wellings, A. J. & Woodcock, J.
22/06/10 → 30/10/15
Project: Research project (funded) › Research
-
ProCLaws: Programming from Control Laws
1/07/07 → 30/09/11
Project: Research project (funded) › Research