Open AccessCombining Verification and Validation techniques
Author(s) -
Erwan Bousse
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , abstraction , domain specific language , domain (mathematical analysis) , context (archaeology) , task (project management) , scalability , programming language , property (philosophy) , focus (optics) , software engineering , theoretical computer science , database , systems engineering , mathematical analysis , paleontology , philosophy , physics , mathematics , epistemology , optics , engineering , biology