Modeling and Formal Analysis of Communication Protocols Based on Game

Information Technology Journal
doi 10.3923/itj.2013.470.473
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Science Alert

Related search

Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method

Journal of Computer Networks and Communications
Computer NetworksInformation SystemsCommunications
2012English

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
2018English

Modeling and Formal Analysis of Human-Machine Interaction

2013English

Formal Modeling and Analysis of Collaborative Humanoid Robotics

International Journal of Robotics Applications and Technologies
2018English

Formal Verification of Netlog Protocols

2012English

Formal Modeling and Analysis of Cognitive Agent Behavior

Cognitive Processing
MedicineCognitive PsychologyExperimentalArtificial IntelligenceCognitive Neuroscience
2007English

Component-Based Formal Modeling of PLC Systems

Journal of Applied Mathematics
Applied Mathematics
2013English

Development of Molecular Based Communication Protocols for Nanomachines

2007English

Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics

International Journal of Online Engineering
EngineeringE-learning
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy