Formal Analysis of Non-functional Properties for a Cooperative Automotive System.

Eun-Young Kang Li Huang Dongrui Mu

Published in: CoRR (2018)

Keyphrases

formal analysis
cooperative
formal methods
automotive industry
agent model
service oriented
cooperative learning
multi agent systems
ban logic
game theory
knowledge base
knowledge acquisition
multi agent
security issues
information systems
artificial intelligence
model driven development
databases