What people are saying - Write a review
We haven't found any reviews in the usual places.
f On the Architectural Design of the Formal Specification of
q PAV Protocol Analyzer and Verifier
Software Tools for ESTELLE
27 other sections not shown
Other editions - View all
abstract machine actions activity algebraic algorithm applied architecture behaviour expression channel communication protocols Computer Concurrent Euclid conformance testing connection construction corresponding data link layer data type defined definition described detected EGJUDGE entity environment errors Estelle event example execution Figure finite state machine formal specification functions gate Gateway global observer IEEE implementation initial input interaction point Interconnection interface internal Internet Internet Protocol IPDU language LAPB layer LOTOS Lower Tester marking graph method module NETC node NSDU Open Systems Interconnection operator output parameters Petri nets predicate primitives Prolog properties protocol expressions protocol sequence Protocol Specification queue reachability analysis received regular expressions semantics session Session Layer simulation subnetwork subset synchronization technique termination test sequences test suite test system token transition transport TTCN Upper Tester validation variables Verification