Research output per year
Research output per year
Research output
Search results
-
2019
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
Ye, K., Foster, S. D. & Woodcock, JAMES. C. P., 30 May 2019, From Astrophysics to Unconventional Computation. Springer, p. 215-254 40 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
2015
Mechanised Theory Engineering in Isabelle
Foster, S. D. & Woodcock, J., 2015, Dependable Software Systems Engineering. Irlbeck, M., Peled, D. & Pretschner, A. (eds.). IOS Press, Vol. 40. p. 246-287 (NATO Science for Peace and Security Series, D: Information and Communication Security; vol. 40).Research output: Chapter in Book/Report/Conference proceeding › Chapter