isola07

L. du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using Formal Methods to Increase Confidence in one Home Network System Implementation. Case Study. In Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), Poitiers, France, December 2007.

BibTex Reference

@InProceedings{isola07,
   Author = {du Bousquet, L. and Nakamura, M. and Yan, B. and Igaki, H.},
   Title = {Using Formal Methods to Increase Confidence in one Home Network System Implementation. Case Study},
   BookTitle = {Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007)},
   Address = {Poitiers, France},
   Month = {December},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)