Login / Signup
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.
Jun Hu
Xiaofeng Yu
Yan Zhang
Tian Zhang
Xuandong Li
Guoliang Zheng
Published in:
EUC (2005)
Keyphrases
</>
embedded software
embedded systems
development projects
software architecture
sequence diagrams
high level
formal specification