مرکز منطقه ای اطلاع رساني علوم و فناوري - A formal framework for multi-agent systems analysis and design

Title of article :

A formal framework for multi-agent systems analysis and design

Author/Authors :

Pablo Gruer، نويسنده , , Vincent Hilaire، نويسنده , , Abder Koukam، نويسنده , , Krzysztof Cetnarowicz، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

349

To page :

355

Keywords :

Agents , Formal methodology , Statecharts , Object-Z

Journal title :

Expert Systems with Applications

Serial Year :

2002

Journal title :

Expert Systems with Applications

Record number :

197957

Link To Document :