Formal design of a telecommunications networks management system.

Mirela Sechi Moretti Annoni Notare, Bernardo Gonalves Riso, Paulo Srgio Lorena, Manoel Camillo de Oliveira Penna Neto, Carlos Becker Westphall

Browse the full ISCC paper archive.