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, Décembre 2007.

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)