Login / Signup

Formal Modeling and Analysis of a Secure Mobile-Agent System.

Lu MaJeffrey 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