- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 3 |      | Ben Yan: Considering Safety and Feature Interactions for Integrated Services of Home Network System. ICFI 2007: 199-202 |
| 2 |  | Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto: Characterizing Safety of Integrated Services in Home Network System. ICOST 2007: 130-140 |
| 1 | | Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki: Using Formal Methods to increase confidence in one Home Network System implementation: Case study. ISoLA 2007: 203-214 |
| 1 | Lydie du Bousquet | [1] [2] |
| 2 | Hiroshi Igaki | [1] |
| 3 | Ken-ichi Matsumoto | [2] |
| 4 | Masahide Nakamura | [1] [2] |