Guided Search for Deadlocks in Actor-Based Models.

Steinar Hugi Sigurdarson Marjan Sirjani Yngvi Björnsson Arni Hermann Reynisson

Published in: FACS (2012)

Keyphrases

statistical models
evolutionary algorithm
database
neural network
genetic algorithm
feature selection
image processing
multiscale
cooperative
open source
maximum likelihood
regression model
prediction model
accurate models