Special issue on formal active and passive testing of distributed and networked systems.
Ana R. CavalliTeruo HigashinoManuel NúñezPublished in: Ann. des Télécommunications (2015)
Keyphrases
- special issue
- distributed systems
- international journal
- ai edam
- formal methods
- applied intelligence
- distributed object
- peer to peer
- computer systems
- special section
- ecml pkdd
- mission critical
- management system
- multi agent
- open systems
- complex systems
- mobile agents
- artificial neural networks
- cooperative
- decision making