Making changes in formal protocol specifications

Bhed Bahadur Bista, Kaoru Takahashi, Tetsuo Kinoshita, Norio Shiratori

    Research output: Contribution to journalArticlepeer-review

    Fingerprint Dive into the research topics of 'Making changes in formal protocol specifications'. Together they form a unique fingerprint.

    Engineering & Materials Science