Login / Signup
Design and Verification of Distributed Recovery Blocks with CSP.
Wing Lok Yeung
Steve A. Schneider
Published in:
Formal Methods Syst. Des. (2003)
Keyphrases
</>
distributed systems
multi agent
peer to peer
computer aided
cooperative
constraint satisfaction problems
design process
functional verification
information systems
case study
search algorithm
software engineering
real time embedded