Projects per year
Original language | Undefined/Unknown |
---|---|
Title of host publication | FM 2011: 17th International Symposium of Formal Methods |
Pages | 246-261 |
Number of pages | 16 |
Volume | 6664 LNCS |
Publication status | Published - 2011 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 6664 |
Projects
- 2 Finished
-
hiJaC: HIJAC: High-Integrity Java applications using circus
Cavalcanti, A. L. C. (Principal investigator), Wellings, A. J. (Co-investigator) & Woodcock, J. (Co-investigator)
22/06/10 → 30/10/15
Project: Research project (funded) › Research
-
High Integrity Java Applications
Wellings, A. J. (Principal investigator)
1/06/04 → 31/08/08
Project: Research project (funded) › Research