Login / Signup
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.
Albert Mo Kim Cheng
James C. Browne
Aloysius K. Mok
Rwo-Hsi Wang
Published in:
IEEE Trans. Software Eng. (1993)
Keyphrases
</>
rule based systems
real time
rule base
knowledge representation
statistical analysis
security systems
data analysis
rule based expert systems
formal models
expert knowledge
data acquisition
domain knowledge
decision trees
learning algorithm
machine learning
data mining
real world