University of Limerick Institutional Repository

Model-based verification of embedded software

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Shokry, Hesham
dc.contributor.author Hinchey, Mike
dc.date.accessioned 2011-07-21T09:35:29Z
dc.date.available 2011-07-21T09:35:29Z
dc.date.issued 2009
dc.identifier.uri http://hdl.handle.net/10344/1148
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
dc.internal.authorcontactother Hesham.Shokry@ul.ie
dc.internal.authorcontactother mike.hinchey@lero.ie

Files in this item

This item appears in the following Collection(s)

Show simple item record

Related Items

Search DSpace


Advanced Search

Browse

My Account