Login / Signup
Specification and verification of component-based systems 2007.
Jonathan Aldrich
Michael Barnett
Dimitra Giannakopoulou
Gary T. Leavens
Natasha Sharygina
Published in:
ESEC/SIGSOFT FSE (2007)
Keyphrases
</>
asynchronous circuits
formal methods
formal verification
artificial intelligence
distributed systems
learning systems
model checking
real time
information retrieval
digital libraries
mobile robot
software systems