Xiayong Hu

	2008
2		Xiayong Hu, Mark Lawford, Alan Wassyng: Formal Verification of the Implementability of Timing Requirements. FMICS 2008: 119-134
	2005
1		Alan Wassyng, Mark Lawford, Xiayong Hu: Timing Tolerances in Safety-Critical Software. FM 2005: 157-172

Coauthor Index

1	Mark Lawford	[1] [2]
2	Alan Wassyng	[1] [2]