形式化演算相关硕士博士期刊学术论文 - 搜论网

形式化演算相关论文

移动计算的发展及形式化表示

在移动计算中对其形式化的描述、研究对于解决移动计算中出现的状态迁移、区域管理、安全认证等问题有十分重要的指导意义.本文从......

会议

移动计算形式化演算状态迁移移动灰箱移动环境演算模型实际应用描述进程通信安全认证域管理运用

看过本文同时还关注