|
СТ |
Improving Design Dependability by Exploiting an Open Model-Based Specification |
1999 |
Tomita A. W., Sakamura K. |
|
|
|
IEEE Trans. on Computers |
25.03.1999 |
|
СТ |
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards |
1996 |
Watanabe A., Sakamura K. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
18.06.1996 |
|
СТ |
The Shared Interaction Objects Architecture: Integration of Advanced GUI Techniques in Distributed Environments |
1995 |
Koshizuka N., Sakamura K. |
|
|
|
Lecture Notes in Computer Science |
19.01.1996 |
|
СТ |
MLDD (Multi-Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilities |
1994 |
Watanabe A., Sakamura K. |
|
|
|
Lecture Notes in Computer Science |
21.10.1994 |
|
СТ |
The TRON Project |
1989 |
Sakamura K. |
|
|
|
Software - Practice and Experience |
08.06.1991 |
|
СТ |
32-bit microprocessor based on the TRON specification |
1989 |
Sakamura K., Enomoto T. |
|
|
|
Software - Practice and Experience |
08.06.1991 |
|
СТ |
Desing and Implementation of the ITRON specification - an embedded industrial realtime OS |
1989 |
Takeyama H., Sakamura K. |
|
|
|
Microprocessors and Microsystems |
08.06.1991 |
|
СТ |
Operating system based on the BTRON specifications |
1989 |
Shimizu M., Kushiki Y., Sakamura K. |
|
|
|
Microprocessors and Microsystems |
08.06.1991 |
|
СТ |
32-bit Microprocessors Based on the TRON Architecture Specification |
1990 |
Sakamura K., Enomoto T. |
|
|
|
J. Information Processing |
19.02.1991 |
