A Maude specification of an object-oriented model for telecommunication networks
From MaRDI portal
Publication:1608922
DOI10.1016/S0304-3975(01)00364-4zbMath1001.68004WikidataQ123905909 ScholiaQ123905909MaRDI QIDQ1608922
Narciso Martí-Oliet, Isabel Pita
Publication date: 13 August 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
reflection; telecommunication networks; rewriting logic; Maude; strategy language; broadband telecommunication networks; object-oriented models
Related Items
Uses Software
Cites Work