EMSOFT
2013
Springer
10 years 10 days 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 ...