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