Sciweavers

ECBS
2006
IEEE
175views Hardware» more  ECBS 2006»
14 years 5 months ago
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
Ethan K. Jackson, Janos Sztipanovits