Automatic Test of Lustre/SCADE Programs - Archive ouverte HAL Access content directly
Book Sections Year : 2011
No file

Dates and versions

hal-00680696 , version 1 (19-03-2012)

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

Share

Gmail Facebook Twitter LinkedIn More