Sign in
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.
Jun Hu
Xiaofeng Yu
Yan Zhang
Tian Zhang
Linzhang Wang
Xuandong Li
Guoliang Zheng
Published in:
ICPP Workshops (2005)
Keyphrases
</>
embedded software
embedded systems
development projects
software architecture
sequence diagrams
high level
model checking
formal specification
artificial intelligence
database
database systems
distributed systems
database management
requirements engineering