A forum for Spin users
You are not logged in.
Pages: 1
I have seen an interview with NASA on how they used model-based verification and testing methods to check the defect of the Toyota software. Do you have the link to that interview?
I remember it was on IEEE Spectrum.
Thank you!
Offline
Pages: 1