Login / Signup
Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing.
Dung Tuan Ho
Min Zhang
Kazuhiro Ogata
Published in:
ILP (Late Breaking Papers) (2015)
Keyphrases
</>
communication protocols
state machines
state machine
case study
finite state machines
communication protocol
petri net
initial state
deductive reasoning
communication networks
fault tolerant
open source
knowledge representation
wireless communication
sequence diagrams