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