CAV
2012
Springer
13 years 24 days ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
77
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
As the need for advanced, interactive mathematical models has increased, user/programmers are increasingly choosing the MatLab