Formal design of a telecommunications networks management system.
Mirela Sechi Moretti Annoni NotareBernardo Gonçalves RisoPaulo Sérgio LorenaManoel Camillo de Oliveira Penna NetoCarlos Becker WestphallPublished in: ISCC (1997)
Keyphrases
- management system
- engineering design
- decision support system
- website
- low cost
- design process
- neural network
- case study
- database management systems
- design methodology
- formal model
- software architecture
- model checking
- knowledge based systems
- computational intelligence
- relational databases
- multi agent
- artificial intelligence
- real world