Вы здесь
Higashino T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | QoS Functional Testing for Multi-media Systems | 2003 | Sun T., Yasumoto K., Mori M., Higashino T. | Lecture Notes in Computer Science | 26.12.2003 | |||
| П | Enaction of Software Process Description in a Petri Net Model with Registers | 1900 | Yamaguchi H., Okano K., Higashino T., Taniguchi K. | 01.11.1995 | ||||
| СТ | Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model | 1994 | Yamaguchi H., Okano K., Higashino T., Taniguchi K. | IEICE Trans. | 22.02.1995 | |||
| СТ | Service Specification and Its Protocol Specifications in LOTOS - A Survey for Synthesis and Execution | 1992 | Higashino T. | IEICE Trans. | 16.05.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Testing of Software and Communicating Systems: Proc./20th IFIP TC 6/WG 6.1 Intl Conf., TestCom 2008 & 8th Intl WS FATES 2008. Tokyo, Japan, June 2008 | 2008 | Lecture Notes in Computer Science |
|
04.07.2008 | |||
| СБ | Formal Techniques for Networked and Distributed Systems - FORTE 2008: Proc./28th IFIP WG 6.1 International Conference. Tokyo, Japan, June 2008 | 2008 | Lecture Notes in Computer Science |
|
04.07.2008 | |||
| СБ | Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007 | 2007 | Lecture Notes in Computer Science |
|
05.03.2008 | |||
| СБ | Principles of Distributed Systems: Revised Selected Papers/8th International Conference, OPODIS 2004. Grenoble, France, December 2004 | 2005 | Lecture Notes in Computer Science |
|
10.11.2005 |