Inproceedings,

Formal modeling and verification of secure mobile agent systems.

, , , and .
CASE, page 545-550. IEEE, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews