Simon David Foster

Filter

2021

Robostar technology: Modelling uncertainty in robochart using probability
Woodcock, J., Foster, S., Mota, A. & Ye, K., 5 Jul 2021, Software Engineering for Robotics. Springer International Publishing AG, p. 413-465 53 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
2019

Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
Ye, K., Foster, S. D. & Woodcock, J. 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

Research output