Heping He

	1996
5		Heping He, Hussein Zedan: An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Comput. Lang. 22(1): 1-13 (1996)
4		Heping He, Hussein Zedan: A fast prototype tool for parallel reactive systems. Journal of Systems Architecture 42(4): 251-266 (1996)
	1993
3		Heping He, Hussein Zedan: Requirement Specification For Real-Time and Hybrid Systems. FORTE 1993: 269-284
2		Heping He, Hussein Zedan: Cycle calculus for hybrid systems. Microprocessing and Microprogramming 39(2-5): 223-227 (1993)
	1991
1		Heping He, Hussein Zedan: Prototyping with Temporal VDM: A Status Report. VDM Europe (1) 1991: 681-682

Coauthor Index

1

Hussein Zedan (Hussein S. M. Zedan)

[1] [2] [3] [4] [5]