Thumbnail Image
Publication

Model-based verification of embedded software

Date
2009
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.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
IEEE Computer;42/4/pp. 53-9
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
2009-Shokry-Model%20based%20verification%20of%20embedded%20software%20engineering.pdf
Adobe PDF, 767.56 KB
Keywords
embedded software, model-based development
ULRR Identifiers
https://hdl.handle.net/10344/1148
 https://doi.org/10.34961/9612
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos