Issue No.04 - April (2009 vol.42)
Hesham Shokry , Lero
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2009.125
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.
model-based development, embedded software development, Lero
Hesham Shokry, "Model-Based Verification of Embedded Software", Computer, vol.42, no. 4, pp. 53-59, April 2009, doi:10.1109/MC.2009.125