MCMAS: an open-source model checker for the verification of multi-agent systems 论文

2015International Journal on Software Tools for Technology Transfer引用 223
DOIPDF
Formal Methods in VerificationModel-Driven Software Engineering TechniquesMulti-Agent Systems and Negotiation
企业软件Model-Driven Software Engineering TechniquesFormal Methods in VerificationMulti-Agent Systems and Negotiation
相关技术:Model-Driven Software Engineering TechniquesFormal Methods in Verification
关系图谱

MCMAS: an open-source model checker for the verification of multi-agent systems · 作者

F

Franco Raimondi

H

Hongyang Qu

A

Alessio Lomuscio