Publications Details

Refinement and Verification of Responsive Control Systems

Bays, Nathan R.; Snook, Colin; Hoang, Thai S.; Armstrong, Robert C.; Hulette, Geoffrey C.; Butler, Michael

Abstract not provided.