Open AccessDomain-oriented Verification Management
Author(s) -
Vincent Leildé,
Vincent Ribaud,
Ciprian Teodorov,
Philippe Dhaussy
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , reuse , key (lock) , domain (mathematical analysis) , software engineering , quality (philosophy) , systems engineering , engineering management , risk analysis (engineering) , engineering , computer security , mathematical analysis , mathematics , medicine , philosophy , epistemology , waste management