Sciweavers

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

8

INFORMATICASI
2006

favoriteEmaildiscussreport

65views more INFORMATICASI 2006»

A Formal Framework Supporting the Specification of the Interactions between Agents

13 years 4 months ago

A Formal Framework Supporting the Specification of the Interactions between Agents

Download www.informatica.si

Farid Mokhati, Mourad Badri, Linda Badri

Real-time Traffic

INFORMATICASI 2006 |

claim paper

Related Content

» Towards a formal framework for the search of a consensus between autonomous agents

» Translating AUML Diagrams into Maude Specifications A Formal Verification of Agents Intera...

» FSP and FLTL framework for specification and verification of middleagents

» Specifying Interaction Space Components in a FIPAACL Interaction Framework

» A Formal Framework for Interactive Agents

» The Role of Castes in Formal Specification of MAS

» Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs

» How interface agents affect interaction between humans and computers

» An InteractionOriented Agent Framework for Open Environments

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	INFORMATICASI
Authors	Farid Mokhati, Mourad Badri, Linda Badri

Comments (0)