Book Sections
Year : 2011
Ioannis Parissis : Connect in order to contact the contributor
https://hal.science/hal-00680696
Submitted on : Monday, March 19, 2012-11:14:56 PM
Last modification on : Wednesday, September 6, 2023-10:42:10 AM
Dates and versions
Identifiers
- HAL Id : hal-00680696 , version 1
Cite
Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9. ⟨hal-00680696⟩
213
View
0
Download