Resolute: an assurance case language for architecture models.

Andrew Gacek John Backes Darren D. Cofer Konrad Slind Mike Whalen

Published in: HILT (2014)

Keyphrases

probabilistic model
real time
statistical models
interaction model
data sets
neural network
search engine
natural language
prior knowledge
management system
complex systems
computational models
cognitive models
reactive systems