Dung Tuan Ho

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Deductive Reasoning

Sequence Diagrams

Communication Protocol

Top Venues

ILP (Late Breaking Papers)

Publications

Dung Tuan Ho, Min Zhang, Kazuhiro Ogata
Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing. ILP (Late Breaking Papers) (2015)