1996 | ||
---|---|---|
2 | H. Heping, Hussein Zedan: An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Comput. Lang. 22(1): 1-13 (1996) | |
1991 | ||
1 | H. Heping, Hussein Zedan: Prototyping with Temporal VDM: A Status Report. VDM Europe (1) 1991: 681-682 |
1 | Hussein Zedan (Hussein S. M. Zedan) | [1] [2] |