Engineering topics
Morris, Karla Vanessa
Publications and source records attributed to Morris, Karla Vanessa.
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↗