Sciweavers

FM
2006
Springer
172views Formal Methods» more  FM 2006»
14 years 3 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis