Skip to main navigation
Skip to search
Skip to main content
National Cheng Kung University Home
English
中文
Search content at National Cheng Kung University
Home
Profiles
Research units
Research output
Projects
Student theses
Equipment
Prizes
Activities
Backward protocol verification method and its applications
Chung Ming Huang
, Duen Tay Huan
Department of Computer Science and Information Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Backward protocol verification method and its applications'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Protocol Verification
100%
Deadlock
25%
Communication Protocol
25%
Computer Network
25%
Verification System
25%
Keyphrases
Logical Correctness
9%