Verifying an Intelligent Structural Control System: A Case Study.

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.

Browse the full RTSS paper archive.