|
СТ |
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach |
2005 |
Bordbar B., Okano K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2005 |
|
СТ |
Verification of Timeliness QoS Properties in Multimedia Systems |
2003 |
Bordbar B., Okano K. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
П |
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 |
