COMPASS: Comprehensive Modelling for Advanced Systems of Systems

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/10/11 → 30/09/14

Isabelle/UTP: A Mechanised Theory Engineering Framework
Foster, S., Zeyda, F. & Woodcock, J., 6 Jan 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 21-41 21 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Open Access
File
Three Approaches to Timed External Choice in UTP
Canham, S. J. & Woodcock, J., 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 1-20 (Lecture Notes in Computer Science; vol. 8963).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards Algebraic Semantics of Circus Time
Wei, K. & Woodcock, J., 2015, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 84-104 21 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Project Details