Sciweavers

66
Voted
HYBRID
1994
Springer
15 years 1 months ago
HYTECH: The Cornell HYbrid TECHnology Tool
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
Thomas A. Henzinger, Pei-Hsin Ho