Learn More
It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach–the state transition model–using a collection of mechanically supported specification and verification tools incorporated in a running system called AFFIRM. Although developed for the specification of(More)
In the design of a signal processing network, control system, or other analog system, it is usually necessary to work with frequency-dependent transfer functions and impedances, and to construct Bode diagrams. The Bode diagram is a log-log plot of the magnitude and phase of an impedance, transfer function, or other frequency-dependent complex-valued(More)