2 search results - page 1 / 1 » Correct-ed through Construction: A Model-based Approach to E... |
ECBS
2006
IEEE
13 years 11 months ago
2006
IEEE
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...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...