Souri Alireza について
Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran について
Rahmani Amir Masoud について
Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran について
Rahmani Amir Masoud について
Computer Science, University of Human Development, Sulaimanyah, Iraq について
Jafari Navimipour Nima について
Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran について
International Journal of Communication Systems について
センサネットワーク について
インターネット について
モデル検査 について
定理証明 について
プロセス代数 について
モデリング について
Webサービス について
相互作用 について
通信方式 について
通信網 について
SPIN について
行動モデリング について
無線センサネットワーク について
クラウド開発環境 について
形式的検証 について
正確さ について
形式的検証 について
研究分析 について
サービス構成 について
Webサービス について
計算機網 について
無線通信一般 について
計算理論 について
Webサービス について
形式的検証 について
手法 について
研究 について
分析 について