A Success Story of Verifying a Real Complex Protocol.

Published in: J. Syst. Softw. (1997)

Keyphrases

real world
complex systems
high level
model checking
complex data
formal analysis
information retrieval
artificial intelligence
lightweight
success factors