Automatic Synthesis and Verification of Real-Time Embedded Software.

Pao-Ann Hsiung Shang-Wei Lin

Published in: EUC (2004)

Keyphrases

embedded software
real time
embedded systems
software architecture
development projects
low cost
sequence diagrams
control system
software engineering
early stage