Volume 24, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 24, Issue 3

May 2004

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Properties of Hybrid Systems—A Computer Science Perspective
Thomas Stauner
OriginalPaper Pages: 223 - 259
Polyhedral Flows in Hybrid Automata
Rajeev Alur
Sampath Kannan
Salvatore La Torre
OriginalPaper Pages: 261 - 280
Forward Analysis of Updatable Timed Automata
Patricia Bouyer
OriginalPaper Pages: 281 - 320