665 search results - page 30 / 133 » The Theory of Hybrid Automata |
SIGCSE
2009
ACM
14 years 9 months ago
2009
ACM
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
HYBRID
1997
Springer
14 years 25 days ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
STACS
2009
Springer
14 years 3 months ago
2009
Springer
WIA
2007
Springer
14 years 2 months ago
2007
Springer
MFCS
2001
Springer
14 years 1 months ago
2001
Springer
