Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] - Maude system - Document - PDFSEARCH.IO

First Page	Meta Content
	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Document Date: 2010-05-05 07:12:06 Open Document File Size: 198,95 KB Share Result on Facebook Company Intel / / Currency pence / / OperatingSystem CentOS / / Person Ai / / Position model / communication / / ProgrammingLanguage Maude system / / Technology ASCII / expert system / RAM / / SocialTag Modal logic Software engineering Logic Non-classical logic Maude system

Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed]Add to Reading List