Protocol validation — principles and applications
From MaRDI portal
Publication:4017601
DOI10.1016/0169-7552(92)90110-CzbMath0762.68011MaRDI QIDQ4017601
Publication date: 16 January 1993
Published in: Computer Networks and ISDN Systems (Search for Journal in Brave)
verification; reachability analysis; formal description techniques; automated protocol validation; random walk validation
68M10: Network design and communication in computer systems
Related Items