Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:D.A.Basin S.Honiden T.S.Hoang J.Abrial K.Takaragi B.Wolff
Talks about:architectur (1) discoveri (1) communiti (1) signatur (1) topolog (1) develop (1) servic (1) polici (1) verif (1) model (1)
Person: Hironobu Kuruma
DBLP: Kuruma:Hironobu
Contributed to:
2009
2005
2005Wrote 3 papers:
- IFM-2009-HoangKBA
- Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.
- FM-2005-BasinKTW #architecture #verification
- Verification of a Signature Architecture with HOL-Z (DAB, HK, KT, BW), pp. 269–285.
- ICEIS-v3-2005-KurumaH #community #policy
- A Model for Policy Based Service Community (HK, SH), pp. 360–366.