Evidential and Continuous Integration of Software Verification Tools.

Tewodros A. Beyene Harald Ruess

Published in: FM (2018)

Keyphrases

software components
web services
data integration
software tools
multimedia
end users
business process
user friendly
design decisions
belief functions
continuous domains