A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach
Keyword(s):
Keyword(s):
Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System
2011 ◽
Vol 13
(2)
◽
pp. 6-13
◽
2016 ◽
Vol 3
(1)
◽
pp. 7-15
Keyword(s):
2020 ◽
Vol 140
(3)
◽
pp. 303-311
2004 ◽
Vol 62
(1-6)
◽
pp. 113-120
Keyword(s):
Keyword(s):
2019 ◽
Vol 8
(1.4)
◽
pp. 446-451