,

Formal modeling and verification of secure mobile agent systems.

, , , и .
CASE, стр. 545-550. IEEE, (2015)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии