Login / Signup
A Maude specification of an object-oriented database model for telecommunication networks.
Isabel Pita
Narciso Martí-Oliet
Published in:
WRLA (1996)
Keyphrases
</>
telecommunication networks
formal model
high level
probability distribution
prior knowledge
probabilistic model
object oriented
objective function
mathematical model
statistical model
experimental data
specification language