Protocol converter generation using the STS approach.

Hou-Wa J. Jeng Ming T. Liu

Published in: Comput. Commun. (1996)

Keyphrases

lightweight
formal analysis
high voltage
database
database systems
low cost
transfer function
generation process