Formal Design and Verification of Real-Time Embedded Software.

Pao-Ann Hsiung Shang-Wei Lin

Published in: APLAS (2004)

Keyphrases

embedded software
real time
software architecture
formal methods
case study
design process
development projects
low cost
embedded systems