Fang Yan - Publications - York Research Database

Emailfang.yanyork.acuk

4 Conference contribution
1 Paper
1 Poster
1 Article

1 results

Filter

2025

Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software
Attala, Z., Cavalcanti, A. L. C., Foster, S. D., Yan, F. & Woodcock, J., 17 Feb 2025, (Accepted/In press).
Research output: Contribution to conference › Paper › peer-review