Protocol/Specification-Level Validation.

Luigi Logrippo Robert L. Probert

Published in: PSTV (1982)

Keyphrases

protocol specification
communication protocols
databases
social networks
formal methods