 | 2009 |
|---|
| 5 |       | Thai Son Hoang,
Hironobu Kuruma,
David A. Basin,
Jean-Raymond Abrial:
Developing Topology Discovery in Event-B.
IFM 2009: 1-19 |
| 2007 |
|---|
| 4 | | David A. Basin,
Hironobu Kuruma,
Kunihiko Miyazaki,
Kazuo Takaragi,
Burkhart Wolff:
Verifying a signature architecture: a comparative case study.
Formal Asp. Comput. 19(1): 63-91 (2007) |
| 2005 |
|---|
| 3 | | David A. Basin,
Hironobu Kuruma,
Kazuo Takaragi,
Burkhart Wolff:
Verification of a Signature Architecture with HOL-Z.
FM 2005: 269-285 |
| 2 |  | Hironobu Kuruma,
Shinichi Honiden:
A Model for Policy Based Service Community.
ICEIS (3) 2005: 360-366 |
| 1997 |
|---|
| 1 | | Saeko Matsuura,
Hironobu Kuruma,
Shinichi Honiden:
EVA: A Flexible Programming Method for Evolving Systems.
IEEE Trans. Software Eng. 23(5): 296-313 (1997) |
