The Community for Technology Leaders
Green Image
Issue No. 04 - April (2009 vol. 42)
ISSN: 0018-9162
pp: 53-59
ABSTRACT
Current advances in model-based develop-­ ment technology indicate that embedded- software developers can expect more tool support for the whole embedded-software spectrum, from applications to system software.
INDEX TERMS
model-based development, embedded software development, Lero
CITATION

M. Hinchey and H. Shokry, "Model-Based Verification of Embedded Software," in Computer, vol. 42, no. , pp. 53-59, 2009.
doi:10.1109/MC.2009.125
94 ms
(Ver 3.3 (11022016))