895 search results - page 1 / 179 » A User Guide to HyTech |
TACAS
1995
Springer
14 years 2 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
HYBRID
1994
Springer
14 years 3 months ago
1994
Springer
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...
ASSETS
2010
ACM
13 years 9 months ago
2010
ACM
Few web developers have been explicitly trained to create accessible web pages, and are unlikely to recognize subtle accessibility and usability concerns that disabled people face...
IOR
2010
13 years 9 months ago
2010
CORR
2011
Springer
13 years 6 months ago
2011
Springer
