Login / Signup
An Algebraic Specification of HDLC Procedures and Its Verification.
Teruo Higashino
Masaaki Mori
Yuji Sugiyama
Kenichi Taniguchi
Tadao Kasami
Published in:
IEEE Trans. Software Eng. (1984)
Keyphrases
</>
formal verification
asynchronous circuits
model checking
formal methods
protocol specification
formal specification
artificial neural networks
formal analysis
specification language
colored petri nets
concurrent systems
databases
data mining
high level
evolutionary algorithm
provably correct