Research output per year
Research output per year
-
Test-Data Generation for Control Coverage by Proof
Cavalcanti, A. L. C., King, S., O'Halloran, C. & Woodcock, J. C. P., Jul 2014, In: Formal Aspects of Computing. 26, 4, p. 795-823 29 p.Research output: Contribution to journal › Article › peer-review
-
A Plug-in Based Approach for UML Model Simulation
Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J. & King, S., 2012, Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H. & Kolovos, D. (eds.). Springer, Vol. 7349. p. 328-339 12 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
The Use of Model Transformation in the INESS Project
Santos, O. M. D., Woodcock, J., Paige, R. F. & King, S., 2009, p. 147-165.Research output: Contribution to conference › Paper › peer-review
Activities
- 4 PhD