Login / Signup
Automatic ADA program generation from protocol specifications based on ESTELLE and ASN.1.
Toru Hasegawa
Hiroki Horiuchi
Toshihiko Kato
Kenji Suzuki
Yoshiyori Urano
Published in:
ICCC (1988)
Keyphrases
</>
lightweight
semi automatic
data sets
high level
static analysis
communication protocol
model checker
asynchronous circuits
execution traces
generation method
state machines
protocol specification
file transfer