University of Limerick Institutional Repository

Model-based verification of embedded software

DSpace Repository

Show simple item record Shokry, Hesham Hinchey, Mike 2011-07-21T09:35:29Z 2011-07-21T09:35:29Z 2009
dc.description peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries IEEE Computer;42/4/pp. 53-9
dc.rights ©2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
dc.subject embedded software en_US
dc.subject model-based development en_US
dc.title Model-based verification of embedded software en_US
dc.type Article en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account