Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Theodore A. Linden
Verification and Validation of AI Software
Related publications
SAPHIRE 8 Software Independent Verification and Validation Plan
Independent Verification and Validation of Large Software Requirement Specification Databases
Verification and Validation
Verification and Validation of TMAP7
Certainty in Stockpile Computing: Recommending a Verification and Validation Program for Scientific Software
Verification and Validation Benchmarks.
Artificial Intelligence (AI) and Ada: Integrating AI With Mainstream Software Engineering
Simulation Verification and Validation
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
