Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

89

Voted

SOMET
2007

99views Software Engineering» more SOMET 2007»

Model Checking Communicative Agent-Based Systems

15 years 4 months ago

Model Checking Communicative Agent-Based Systems

Download users.encs.concordia.ca

Jamal Bentahar, John-Jules Ch. Meyer

Real-time Traffic

Software Engineering | SOMET 2007 |

claim paper

Related Content

» An AgentBased Architecture for ContextAware Communication

» An Agent Based Framework for Modeling UAVs

» An AgentBased Architecture Using XML for Mobile Federated Database Systems

» A Coordination Language for Collective Agent Based Systems GroupLog

» Representing and Executing AgentBased Systems

» AgentBased Planning and Control of a MultiManipulator Assembly System

» Securing Your Data in AgentBased P2P Systems

» Adaptive AgentBased Service Composition for Wireless Terminals

» Zamin an Agent Based Artificial Life Model

Post Info
More Details (n/a)

Added	07 Nov 2010
Updated	07 Nov 2010
Type	Conference
Year	2007
Where	SOMET
Authors	Jamal Bentahar, John-Jules Ch. Meyer

Comments (0)