Deriving abstract transfer functions for analyzing embedded software.

John Regehr Usit Duongsaa

Published in: LCTES (2006)

Keyphrases

embedded software
transfer function
embedded systems
development projects
software architecture
image enhancement
contrast enhancement
image processing
manufacturing systems
database systems
co occurrence