tag : formal models
2
talk
/
Alessandro Ricci
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (EUMAS 2003, 19/12/2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli) Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003, 18/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Sascha Ossowski)
0000-0002-9222-5092