Publication: IEICE TRANSACTIONS on Communications
Publication Date: 1999/01/25
Vol. E82-B
No. 1 ;
pp. 81-95
Type of Manuscript:
PAPER
Category: Signaling System and Communication Protocol Keyword: protocol testing, concurrent system, logical time, conformance testing, asynchronous communicating finite state machines, |