Using Monterey Phoenix to Formalize and Verify System Architectures.

Jiexin Zhang Yang Liu Mikhail Auguston Jun Sun Jin Song Dong

Published in: APSEC (2012)

Keyphrases

decision making
real time
failure recovery
neural architectures
artificial intelligence
decision trees
search algorithm
spatio temporal
heterogeneous environments