Login / Signup
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