On Deriving Statecharts Supervision Models from SDL Specifications Using SSM.

Antonio Mendes da Silva Filho

Published in: SBES (1996)

Keyphrases

reactive systems
statistical models
complex systems
prior knowledge
probabilistic model
model selection
machine learning algorithms
real time
information systems
decision trees
active learning
principal component analysis
regression model
mathematical models
formal verification