University of Limerick Institutional Repository

Model-based verification of embedded software

DSpace/Manakin Repository

Model-based verification of embedded software

Shokry, Hesham; Hinchey, Mike
URI: http://hdl.handle.net/10344/1148
Date: 2009
Publisher: IEEE Computer Society
Publication type: Article

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.

Description:

peer-reviewed

Show full item record

Files in this item

Name: license.txt
Size: 3.373Kb
Format: Text file
View license

Files in this item

Icon
Name: 2009-Shokry-Model ...
Size: 767.5Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Related Items

Search DSpace


Advanced Search

Browse

My Account