|
Search the dblp DataBase
Wael M. Elseaidy:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wael M. Elseaidy
Static and dynamic analysis of real-time systems. [Citation Graph (0, 0)][DBLP] ACM Southeast Regional Conference, 1992, pp:368-376 [Conf]
- Wael M. Elseaidy, Rance Cleaveland
A tool for modeling and verifying real-time systems. [Citation Graph (0, 0)][DBLP] ICECCS, 1995, pp:70-0 [Conf]
- Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Verifying an Intelligent Structural Control System: A Case Study. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1994, pp:271-275 [Conf]
- Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Modeling and Verifying Active Structural Control Systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:1-2, pp:99-122 [Journal]
Search in 0.001secs, Finished in 0.001secs
|