Login / Signup
Dung Tuan Ho
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Deductive Reasoning
Sequence Diagrams
Petri Net
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)