Yuen Man Hon

According to our database¹, Yuen Man Hon authored at least 3 papers between 2007 and 2009.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2009

An Engineering-Oriented Formal Framework for Railway Interlocking Systems Requirements Specifications (Ein ingenieurgerechtes formales Verfahren für die Spezifikation von Stellwerksanforderungen)

[BibT_eX]

[DOI]

Yuen Man Hon

PhD thesis, 2009

2008

OOLH: A Formal Framework for Specifying System Requirements.

[BibT_eX]

[DOI]

Yuen Man Hon

Jan-Tecker Gayen

Hans-Dieter Ehrich

Proceedings of the SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12, 2008

2007

Generating Scenarios by Multi-Object Checking.

[BibT_eX]

[DOI]

Maik Kollmann

Yuen Man Hon

Proceedings of the Third Workshop on Model Based Testing, 2007

Yuen Man Hon

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...