L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess: a validation tool for synchronous software. In International Workshop Tool Support for System Specification, Development and Verification, Malente, Allemagne, 1998.
Farid Ouabdesselam
Ioannis Parissis
Jean-Luc Richier
@InProceedings{BOP98,
Author = {Bousquet, L. du and Ouabdesselam, F. and Parissis, I. and Richier, J.-L. and Zuanon, N.},
Title = {Lutess: a validation tool for synchronous software},
BookTitle = {International Workshop Tool Support for System Specification, Development and Verification},
Address = {Malente, Allemagne},
Year = {1998}
}
Charger la référence EndNote (.ref)