|
|
eCommons@Cornell >
Browsing by Author Ho, Pei-Hsin
Showing results 1 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | Oct-1994 | The Algorithmic Analysis of Hybrid Systems | Alur, Rajeev; Courcoubetis, Costas; Halbwachs, Nicolas; Henzinger, Thomas A.; Ho, Pei-Hsin; Nicollin, Xavier; Olivero, Alfredo; Sifakis, Joseph; Yovine, Sergio |
| Aug-1995 | Automatic Analysis of Hybrid Systems | Ho, Pei-Hsin |
| May-1995 | Automatic Symbolic Verification of Embedded Systems | Alur, Rajeev; Henzinger, Thomas A.; Ho, Pei-Hsin |
| May-1993 | Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems | Alur, Rajeev; Courcoubetis, Costas; Henzinger, Thomas A.; Ho, Pei-Hsin |
| Jun-1995 | HyTech : The Cornell HYbrid TECHnology Tool | Henzinger, Thomas A.; Ho, Pei-Hsin |
| Jul-1994 | Model Checking Strategies for Linear Hybrid Systems | Henzinger, Thomas A.; Ho, Pei-Hsin |
| Aug-1995 | A User Guide to HyTech | Henzinger, Thomas A.,; Ho, Pei-Hsin; Wong-Toi, Howard |
Showing results 1 to 7 of 7
|
