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.
Farid Ouabdesselam
Ioannis Parissis
Jean-Luc Richier
@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}
}
Charger la référence EndNote (.ref)