University of Limerick
Browse

Model-based verification of embedded software

Download (767.56 kB)
journal contribution
posted on 2011-07-21, 09:35 authored by Hesham Shokry, Mike Hinchey
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.

History

Publication

IEEE Computer;42/4/pp. 53-9

Publisher

IEEE Computer Society

Note

peer-reviewed

Other Funding information

SFI

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.

Language

English

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Keywords

    embedded softwaremodel-based development

    Licence

    CC BY-NC-SA 1.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC