A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS.

Monika Kapus-Kolar

Published in: Comput. Stand. Interfaces (2002)

Keyphrases

temporal ordering
constraint propagation
software engineering
formal specification language
real time
real world
machine learning
expert systems
data integration
learning rate
learning machines