Login / Signup
Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols.
Mohamed Bettaz
Published in:
ADT (1988)
Keyphrases
</>
protocol specification
communication protocols
code generation
data model
decision support
formal specification