Yuen Man Hon

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich
OOLH: A Formal Framework for Specifying System Requirements. SIGSAND-EUROPE (2008)
Maik Kollmann, Yuen Man Hon
Generating Scenarios by Multi-Object Checking. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)