Protocol validation — principles and applications

From MaRDI portal

Revision as of 02:02, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4017601

Jump to:navigation, search

DOI10.1016/0169-7552(92)90110-CzbMath0762.68011MaRDI QIDQ4017601

Colin H. West

Publication date: 16 January 1993

Published in: Computer Networks and ISDN Systems (Search for Journal in Brave)

zbMATH Keywords

verification reachability analysis formal description techniques automated protocol validation random walk validation

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items (1)

A new method for constructing pair-wise covering designs for software testing

This page was built for publication: Protocol validation — principles and applications

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4017601&oldid=17726232"