Sciweavers

ISSRE
2005
IEEE

Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs

14 years 4 months ago
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs
Abdesselam Lakehal, Ioannis Parissis
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where ISSRE
Authors Abdesselam Lakehal, Ioannis Parissis
Comments (0)