CIC-05:vasco-40

A. Lakehal, I. Parissis. Structural Test Coverage Criteria for Lustre Programs. In 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 35-43, Lisboa, Portugal, Septembre 2005.

Contact

Ioannis Parissis

Référence BibTex

@InProceedings{CIC-05:vasco-40,
   Author = {Lakehal, A. and Parissis, I.},
   Title = {{Structural Test Coverage Criteria for Lustre Programs}},
   BookTitle = {{10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS)}},
   Pages = {35--43},
   Address = {Lisboa, Portugal},
   Month = {September},
   Year = {2005}
}

Référence EndNote [help]

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