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