The trace specification of communications protocols
From MaRDI portal
Publication:3685181
DOI10.1109/TC.1985.6312209zbMath0568.68024MaRDI QIDQ3685181
Publication date: 1985
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
predicate calculusformal specificationtracessoftware engineeringcommunication protocolscomputer networks
Related Items (3)
Trace rewriting systems ⋮ Application of the trace assertion method to the specification, design, and verification of automaton programs ⋮ Applying string-rewriting to sequence-based specification
This page was built for publication: The trace specification of communications protocols
