INTO-CPS (Dec 2016 - Dec 2017)

May 11, 2018
into-cps.png
CPS Co-Simulation Formal verification SysML Model-based design and test EU
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.