| |
| 2007 | ||
|---|---|---|
| 3 | Ben Yan: Considering Safety and Feature Interactions for Integrated Services of Home Network System. ICFI 2007: 199-202 | |
| 2 | EE | 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] |