Approximating Behaviors in Embedded System Design

Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Approximating Behaviors in Embedded System Design. In Pierpaolo Degano, Rocco De Nicola, José Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Volume 5065 of Lecture Notes in Computer Science, pages 721-742, Springer, 2008. [doi]

Abstract

Abstract is missing.