Ruth Hardy

According to our database1, Ruth Hardy authored at least 4 papers between 2003 and 2013.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Applications of real number theorem proving in PVS.
Formal Asp. Comput., 2013

2006
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems.
Electr. Notes Theor. Comput. Sci., 2006

2004
Design Verification for Control Engineering.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003


  Loading...