HZ
H.S.M. Zedan
De Montfort University18
Publications
1,417
Citations
5
h-index
3
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (9)
- Book Chapter (5)
- Book (4)
Filter by Open Access Type
- Open Access (0)
- Closed Access (18)
Filter by Authors
- H.S.M. Zedan (18)
- David Scholefield (3)
- Chris Ho-Stuart (2)
- Ming Fang (2)
- M. Portman (1)
Filter by Topics
- Formal Methods in Verification (7)
- Real-Time Systems Scheduling (7)
- Distributed systems and fault tolerance (6)
- Petri Nets in System Modeling (5)
- Embedded Systems Design Techniques (4)