Fang Yan – Publications — York Research Database

Emailfang.yanyork.acuk

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

4 Conference contribution
1 Poster

1 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