Login / Signup
LVT: A Layered Verification Technique for Distributed Computing Systems.
Cui Zhang
Brian R. Becker
Dave Peticolas
Ronald A. Olsson
Karl N. Levitt
Published in:
Softw. Test. Verification Reliab. (1999)
Keyphrases
</>
distributed computing systems
distributed computing
distributed processing
distributed computing environment
model checking
distributed systems
databases
distributed environment
cooperative
signature verification
artificial intelligence
data warehouse
parallel processing
grid computing