Titlebook: Responsive Computer Systems; Hermann Kopetz,Yoshiaki Kakuda Conference proceedings 1993 Springer-Verlag/Wien 1993 communication.computer.c

Enthralling

Protocol Validation Tool and Its Applicability to Responsive Protocolstem correction unacceptably expensive. It is, however, becoming more and more difficult to design error-free protocol specifications for the modern complex communication systems. Such a situation causes a great demand for tools that automatically verifies properties required for protocols. One of th