Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540244226, 9783540309604
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formalism Challenges of the Cougaar Model Driven Architecture

2004 ◽  
pp. 57-71 ◽  
Author(s):  
Shawn A. Bohner ◽  
Boby George ◽  
Denis Gračanin ◽  
Michael G. Hinchey
Keyword(s):  
Model Driven Architecture ◽  
Model Driven

scholarly journals Ecology Based Decentralized Agent Management System

2004 ◽  
pp. 1-11 ◽  
Author(s):  
Maxim D. Peysakhov ◽  
Vincent A. Cicirello ◽  
William C. Regli
Keyword(s):  
Management System

scholarly journals Massive Multi-agent systems control

2004 ◽  
pp. 275-280 ◽  
Author(s):  
Jean-Charles Campagne ◽  
Alain Cardon ◽  
Etienne Collomb ◽  
Toyoaki Nishida
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Systems Control

Model-Driven Architecture for Agent-Based Systems

2004 ◽  
pp. 249-261 ◽  
Author(s):  
Denis Gračanin ◽  
H. Lally Singh ◽  
Shawn A. Bohner ◽  
Michael G. Hinchey
Keyword(s):  
Model Driven Architecture ◽  
Agent Based ◽  
Model Driven

scholarly journals Verifying Multi-agent Systems via Unbounded Model Checking

2004 ◽  
pp. 189-212 ◽  
Author(s):  
M. Kacprzak ◽  
A. Lomuscio ◽  
T. Łasica ◽  
W. Penczek ◽  
M. Szreter
Keyword(s):  
Model Checking ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent
Load More ...
Sign in / Sign up

Export Citation Format

Share Document