Formal Methods for Protocol Testing: A Detailed Study.

Deepinder P. Sidhu Ting-Kau Leung

Published in: IEEE Trans. Software Eng. (1989)

Keyphrases

formal methods
formal analysis
databases
database systems
test cases
information systems
knowledge representation
petri net