Zahid H. Qureshi

2003
2	EE	Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi: Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. ACSD 2003: 92-101
1998
1	EE	P. J. M. Urlings, Zahid H. Qureshi, X. T. Nguyen: Automation in operator assistant systems. KES (1) 1998: 218-223

Coauthor Index

1	Jonathan Billington	[2]
2	Lars Michael Kristensen	[2]
3	X. T. Nguyen	[1]
4	Laure Petrucci (Laure Petrucci-Dauchy)	[2]
5	P. J. M. Urlings	[1]

Colors in the list of coauthors