Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, ... 3235 (Lecture Notes in Computer Science)

by Manuel Nunez (Author), Manuel Nunez (Author), David de Frutos-Escrig (Author)

• New

  Illustrated
  2004

  $85.57

  Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space.