Model-Based Verification of Embedded Software.

Hesham Shokry Mike Hinchey

Published in: Computer (2009)

Keyphrases

embedded software
development projects
embedded systems
software architecture
model checking
artificial intelligence
distributed systems
life cycle
sequence diagrams