31 search results - page 7 / 7 » Desingularization of Linear Difference Operators with Polyno... |
165
click to vote
QEST
2006
IEEE
16 years 1 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...