Experience using formal methods for specifying a multi-agent system

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2000, Pages 72-80

  Rouff, Christopher ^a   Rash, James ^a   Hinchey, Michael G ^a  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COSTS; INTERPLANETARY FLIGHT;

MULTI-AGENT SYSTEMS;

SATELLITE GROUND STATIONS;

EID: 0033680566     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (5)