
Specification and Verification of Multi-agent Systems
Details
- OL Work ID
- OL16952088W
Subjects
Software engineeringElectronic data processingComputer scienceArtificial intelligenceMultiagent systemsComputer software, verificationIntelligent agents (computer software)Operating systems (computers)