Guest Editors' Introduction: Verification and Validation in Computational Science and Engineering.

Timothy G. Trucano Douglas Post

Published in: Comput. Sci. Eng. (2004)

Keyphrases

computational science
high performance computing
artificial intelligence
model checking
engineering design
software engineering
virtual machine
special issue
database
formal methods
management system
computational intelligence
cost effective
computing environments