CIC:pfl-FMICS00

L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. In 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Pages 123-139, Berlin, April 2000.

Contact

Farid Ouabdesselam
Ioannis Parissis
Jean-Luc Richier

BibTex Reference

@InProceedings{CIC:pfl-FMICS00,
   Author = {du Bousquet, L. and Ouabdesselam, F. and Parissis, I. and Richier, J.-L. and Zuanon, N.},
   Title = {{Specification-based Testing of Synchronous Software}},
   BookTitle = {{5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000)}},
   editor = {Gnesi, S. and Schieferdecker, I. and Rennoch, A.},
   Pages = {123--139},
   Publisher = {GMD Report 91},
   Address = {Berlin},
   Month = {April},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)