Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Applications of real number theorem proving in PVS. | 1 | 0.36 | 2013 |
| Interactions Between PVS and Maple in Symbolic Analysis of Control Systems | 0 | 0.34 | 2006 |
| A Hoare logic for single-input single-output continuous-time control systems | 14 | 0.92 | 2003 |