A Maude specification of an object-oriented model for telecommunication networks.

Isabel Pita Narciso Martí-Oliet

Published in: Theor. Comput. Sci. (2002)

Keyphrases

telecommunication networks
formal specification
discrete event systems
specification language
fiber optic
telecommunications networks
high level
equational theories
formal verification
case study
model checking
reverse engineering
operational semantics
asynchronous circuits