Formal Description Techniques and Protocol Specification, Testing and Verification (IFIP International Federation for Information Processing)
Contributors: Stan Budkowski (Editor); Ana Cavalli (Editor); Elie Najm (Editor)
Publisher: Springer
Published: October 31, 1998
Language: eng
Number of pages: 488
ISBN-13: 9780412847608