Login / Signup
Functional and Nonfunctional Design Verification for Embedded Software Systems.
Arnab Ray
Christopher Ackermann
Rance Cleaveland
Charles P. Shelton
Chris Martin
Published in:
Adv. Comput. (2011)
Keyphrases
</>
embedded software
embedded systems
development projects
functional verification
software architecture
functional requirements
design process
sequence diagrams
database
distributed systems
real time
petri net