Model-based verification of embedded software

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