Norio Shiratori Books
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X PSTV XVII '97: IFIP TC6 WG 6.1 International Conference ... in Information and Communication Technology)
By IFIP TC 6 WG 6.1 International Conference On Formal Description Techniques For Distributed Systems And Communications Protocols 10th 1997 Osaka Japan ., Norio Shiratori, Atsushi Togashi, Tadanori Mizuno, Teruo Higashino
Read More