Hinchey, Michael G.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Formal Approaches to Agent-Based Systems :Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
by:
(1998 :); Hinchey, Michael G.; SpringerLink (Online service)
(Electronic resources)
ZUM '98, the Z formal specification notation11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : pro[o]ceedings /
by:
(1998 :); Bowen, Jonathan Peter.; Fett, Andreas.; Hinchey, Michael G.; SpringerLink (Online service)
(Electronic resources)
Innovative Concepts for Autonomic and Agent-Based SystemsSecond International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers /
by:
(1998 :); Hinchey, Michael G.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Autonomic computing
Z (Computer program language)
Artificial Intelligence (incl. Robotics)
User Interfaces and Human Computer Interaction.
Intelligent control systems
Computer Science.
Computer Appl. in Social and Behavioral Sciences.
Computer Communication Networks.
Intelligent agents (Computer software)