ClawZ: Cost-Effective Formal Verification for Control Systems.

M. M. Adams, Philip B. Clayton

Browse the full ICFEM paper archive.