Вы здесь

Sato F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Protocol Verification Tool with Extended Petri Net and Horn Clause 1995 Watanabe T., Ohta T., Sato F., Mizuno T. IEICE Trans. 10.04.1996
СТ Requirements for Nodal System Architecture 1991 Sato F., Yoshikai N., Hoshi M. IEICE Trans. 13.02.1992