Corrections to "Use of Idempotent Matrices to Validate Linear Systems Software"
IEEE transactions on aerospace and electronic systems ; 31 , 2 ; 862-863
1995
Article (Journal)
English
American Institute of Physics | 2018
|Use of Models to Verify and Validate Requirements for Critical Software
British Library Conference Proceedings | 2009
|