C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Domain-Oriented Verification Management.
Vincent Leildé
Vincent Ribaud
Ciprian Teodorov
Philippe Dhaussy
Published in:
MEDI (2018)
Keyphrases
</>
domain specific
management system
data sets
artificial intelligence
information systems
information management
data processing
domain experts
real time
neural network
image processing
decision support
model checking
domain independent
asynchronous circuits
verification method