Wael M. Elseaidy

Publication Activity (10 Years)

Years Active: 1992-1997
Publications (10 Years): 0

Publications

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Modeling and Verifying Active Structural Control Systems. Sci. Comput. Program. 29 (1-2) (1997)
Wael M. Elseaidy, Rance Cleaveland
A tool for modeling and verifying real-time systems. ICECCS (1995)
Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Verifying an Intelligent Structural Control System: A Case Study. RTSS (1994)
Wael M. Elseaidy
Static and dynamic analysis of real-time systems. ACM Southeast Regional Conference (1992)