|
eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1813/7178
| Title: | HyTech : The Cornell HYbrid TECHnology Tool |
| Authors: | Henzinger, Thomas A.
Ho, Pei-Hsin |
| Keywords: | computer science
technical report |
| Issue Date: | Jun-1995 |
| Publisher: | Cornell University |
| Citation: | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR95-1521 |
| Abstract: | 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 have been incorporated into HyTech,
and we illustrate the use of HyTech with three nontrivial case studies. |
| URI: | http://hdl.handle.net/1813/7178 |
| Appears in Collections: | Computer Science Technical Reports
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
