Building modeling tools that support verification, validation, and testing for the domain expert.

Nicholas A. Allen, Clifford A. Shaffer, Layne T. Watson

Browse the full WSC paper archive.