CiteSeer.IST Home  Similar documents based on text:  HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997)   (Correct)

Similar documents based on text:   All related documents
0.6:   Formal modeling and analysis of hybrid systems: A.. - Alur, Esposito, Kim, .. (1999)   (Correct)
0.5:   Beyond HyTech: Hybrid Systems Analysis Using.. - Henzinger.. (2000)   (Correct)
0.4:   Verification and Power Analysis of an Event-Based System.. - Coleri, Ergen (2002)   (Correct)
0.4:   Lifetime Analysis of a Sensor Network with Hybrid Automata.. - Coleri, Ergen, Koo (2002)   (Correct)
0.3:   Algorithmic Analysis of Nonlinear Hybrid Systems - Henzinger, Ho, Wong-Toi (1996)   (Correct)
0.3:   Rabbit: Verification of Real-Time Systems - Beyer (2001)   (Correct)
0.3:   HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997)   (Correct)
0.3:   Using HYTECH to Synthesize Control Parameters for a Steam.. - Thomas Henzinger Howard (1996)   (Correct)
0.2:   HyTech: The Cornell HYbrid TECHnology Tool - Henzinger, Ho (1995)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC