PapailiopoulouFMICS08

V. Papailiopoulou, L. Madani, L. du Bousquet, I. Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy, 2008.

Contact

Virginia Papailiopoulou
Laya Madani

BibTex Reference

@InProceedings{PapailiopoulouFMICS08,
   Author = {Papailiopoulou, V. and Madani, L. and     du Bousquet, L. and I. Parissis,    },
   Title = {Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators},
   BookTitle = {13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008)},
   Address = {L'Aquila, Italy},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)