CIC:lydie-tools98

L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess : a testing environment for synchronous software. In Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98), Pages 48-61, Malente, Germany, 1998.

Contact

Farid Ouabdesselam
Ioannis Parissis
Jean-Luc Richier

BibTex Reference

@InProceedings{CIC:lydie-tools98,
   Author = {du Bousquet, L. and Ouabdesselam, F. and Parissis, I. and Richier, J.-L. and Zuanon, N.},
   Title = {Lutess : a testing environment for synchronous software},
   BookTitle = {Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98)},
   Pages = {48--61},
   Publisher = {Springer},
   Address = {Malente, Germany},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)