Engineering topics
Hoang, Thai Son
Publications and source records attributed to Hoang, Thai Son.
Formal verification of run-to-completion style statecharts using Event-B.
Abstract not provided.
Morris, Karla Vanessa↗
Refinement and Verification of Responsive Control Systems.
Abstract not provided.
Morris, Karla Vanessa↗