A Model Parametric Real-Time Logic.

Angelo Morzenti Dino Mandrioli Carlo Ghezzi

Published in: ACM Trans. Program. Lang. Syst. (1992)

Keyphrases

real time
probabilistic model
computational model
formal model
management system
conceptual model
mathematical model
statistical model
high level
prior knowledge
cost function
vision system
theoretical analysis
parametric models
process model
evolutionary algorithm
learning algorithm