Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing.
Bogdan AmanGabriel CiobanuPublished in: Comput. Sci. J. Moldova (2024)
Keyphrases
- information sharing
- formal analysis
- multi agent systems
- public safety
- formal methods
- data sharing
- situation awareness
- information exchange
- emergency response
- public sector
- information resources
- knowledge based systems
- law enforcement
- disaster management
- share information
- expert systems
- agent model
- sharing information
- intelligence and security informatics
- social awareness
- artificial intelligence
- knowledge sharing
- low cost
- information systems