Using Formal Methods to increase confidence in one Home Network System implementation: Case study.

Lydie du Bousquet Masahide Nakamura Ben Yan Hiroshi Igaki Using Formal Methods to increase confidence in one Home Network System implementation: Case study. 203-214 2007 ISoLA conf/isola/2007 db/conf/isola/isola2007.html#BousquetNYI07