Login / Signup
Formal Modeling and Analysis of a Secure Mobile-Agent System.
Lu Ma
Jeffrey J. P. Tsai
Published in:
IEEE Trans. Syst. Man Cybern. Part A (2008)
Keyphrases
</>
mobile agent system
statistical analysis
data mining
formal models
artificial intelligence
software engineering
formal analysis