Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... 2529 (Lecture Notes in Computer Science)

by Doron A. Peled (Editor), Moshe Y. Vardi (Series Editor)

• New

  Paperback
  2009

  $57.24

  The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11-14. - Protocol testing, including conformance testing, interoperability testing, and performance testing.