Skip to main content

3 Result(s)

within Norio Shiratori Remove this filter Signal, Image and Speech Processing Remove this filter

and
Your search also matched 2 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Formal Description Techniques and Protocol Specification, Testing and Verification

Include preview-only content

  1. Chapter

    A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous

    LOTOS[1] is a high level specification language which incorporates the Multi-Rendezvous. Multi-Rendezvous is a powerful communication mechanism that allows a set of processes to execute an event in synchronous...

    Zixue Cheng, Tongjun Huang, Norio Shiratori in Formal Description Techniques VII (1995)

    Download PDF (1234 KB)

  2. Chapter

    A New Test Sequence Generation Method for Interoperability Testing

    A method for generating test sequences for interoperability testing of communication systems is proposed. In the proposed method, the system state graph, which shows behaviours of the whole system, is generate...

    Naonobu Okazaki, Mi Rang Park, Kaoru Takahashi, Norio Shiratori in Protocol Test Systems (1995)

    Download PDF (1589 KB)

  3. Chapter

    A Synthesis Algorithm of a Protocol Model from a Single Entity

    Protocol entities, in communication protocols, behave under sets of communication rules (protocols). Thus, it is desirable to concentrate on the design of one protocol entity and generate the corresponding pro...

    Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi… in Formal Description Techniques VII (1995)

    Download PDF (1776 KB)