Skip to main content


eCommons@Cornell

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

Files in This Item:

File Description SizeFormat
95-1521.pdf358.24 kBAdobe PDFView/Open
95-1521.ps387.65 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us