Abstract Model Repair.

George Chatzieleftheriou Borzoo Bonakdarpour Panagiotis Katsaros Scott A. Smolka

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

high level
computational model
databases
probabilistic model
management system
theoretical analysis
conceptual model
neural network
image segmentation
artificial neural networks
low level
network structure
closed form
sensitivity analysis
model based diagnosis