 | 1998 |
|---|
| 3 |       | Kazuhiro Kusunoki,
Isao Imai,
Haruyuki Ohtani,
Tetsuo Nakakawaji,
Michitaka Ohshima,
Kazuo Ushijima:
A CORBA-Based Remote Monitoring System for Factory Automation.
ISORC 1998: 396-402 |
| 1991 |
|---|
| 2 |  | Kotaro Katsuyama,
Fumiaki Sato,
Tetsuo Nakakawaji,
Tadanori Mizuno:
Strategic Testing Environment with Formal Description Techniques.
IEEE Trans. Computers 40(4): 514-525 (1991) |
| 1990 |
|---|
| 1 | | Kotaro Katsuyama,
Fumiaki Sato,
Tetsuo Nakakawaji,
Tadanori Mizuno:
OSI Testing Environment Based on the Standardized Formalisms.
FORTE 1990: 287-294 |
