EMSOFT
2013
Springer
10 years 7 months ago
2013
Springer
rs on systems are the basis for abstraction based verification of systems. In this paper, we investigate preorders for reasoning about stability with respect to inputs of hybrid ...