Simon David Foster – Publications — York Research Database

Phone(01904) 325424
Emailsimon.fosteryork.acuk

If you made any changes in Pure these will be visible here soon.

26 Conference contribution
10 Article
7 Working paper
4 Chapter (peer-reviewed)
More

2 results

Filter

2022

Assurance Case Process of RoboChart Supported by Formal Verification
Yan, F., Foster, S. D. & Habli, I., 2022, (Unpublished).
Research output: Contribution to conference › Poster

File
Verifying and Assuring Robotic Systems with Isabelle/UTP
Foster, S. D., 11 Oct 2022.
Research output: Contribution to conference › Poster

Open Access
File