Login / Signup
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).
Jean-Pierre Ansart
V. Chari
D. Simon
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
efficient implementation
implementation issues
specification language
data sets
high level
language learning
learning algorithm
lightweight