Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).

Published in: ISoLA (2008)

Keyphrases

embedded software
management system
software architecture
development projects
embedded systems
distributed systems
real time
formal methods
artificial intelligence
high level
model checking
web services
multi agent systems
design process