Вы здесь
Takada Y.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Ginger2: An Environment for Computer-Aided Empirical Software Engineering | 1999 | Torii K., Matsumoto K., Nakakoji K., Takada Y., Takada S., Shima K. | IEEE Trans. on Software Engineering | 30.12.1999 | |||
СТ | On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels | 1994 | Kakuda Y., Takada Y., Kikuno T. | IEICE Trans. | 09.12.1994 |