115
click to vote
SEUS
2010
IEEE
15 years 2 hour ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...