Towards Formal Modeling of e-Contracts.

Olivera Marjanovic Zoran Milosevic

Published in: EDOC (2001)

Keyphrases

formal models
preprocessing
neural network
multimedia
similarity measure
computational intelligence
formal specification
modeling method
modeling framework
reactive systems