Sign in
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).
Manfred Broy
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