An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS.

Richard Lai Anthony C. C. Lo

Published in: Aust. Comput. J. (1995)

Keyphrases

formal analysis
real world
lightweight
quantitative analysis
real time
cooperative
image analysis
evolutionary algorithm
distributed databases
file system