Sign in
Verification of Exception Control Flows and Handlers Based on Architectural Scenarios.
Patrick Henrique da S. Brito
Rogério de Lemos
Cecília M. F. Rubira
Published in:
HASE (2008)
Keyphrases
</>
control system
search algorithm
control strategy
real world
model checking
control theory
neural network
learning algorithm
artificial intelligence
bayesian networks
hidden markov models
mobile robot
power system
software architecture
robot control