Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen ... in Information and Communication Technology)

Specification

by: Stan Budkowski · Elie Najm · Ana Cavalli

Hardcover

ISBN: 978-0-412-84760-8

ISBN-10: 0-412-84760-4

Springer · 1998