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

Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki

Browse the full ISoLA paper archive.