Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Abstract not provided.
Hulette, Geoffrey Compton↗
Engineering topics
Ruthruff, Joseph.
Publications and source records attributed to Ruthruff, Joseph..
Digital Design Verification using Formal and Complexity Analysis.
Abstract not provided.
Armstrong, Robert C.↗