NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

1852339470

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Agents in a Wild World

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_9 ◽

2006 ◽

pp. 259-283

Author(s):

Tim Menzies ◽

Ying Hu

Download Full-text

Formal Methods at NASA Goddard Space Flight Center

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_10 ◽

2006 ◽

pp. 287-309 ◽

Cited By ~ 7

Author(s):

Christopher A. Rouff ◽

James L. Rash ◽

Michael G. Hinchey ◽

Walter F. Truszkowski

Keyword(s):

Formal Methods ◽

Space Flight ◽

Nasa Goddard Space ◽

Goddard Space ◽

Goddard Space Flight Center

Download Full-text

Assuring the Behavior of Adaptive Agents

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_8 ◽

2006 ◽

pp. 227-257 ◽

Cited By ~ 5

Author(s):

Diana F. Spears

Keyword(s):

Adaptive Agents

Download Full-text

Scenario-Based Engineering of Multi-Agent Systems

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_6 ◽

2006 ◽

pp. 159-189 ◽

Cited By ~ 10

Author(s):

Jon Whittle ◽

Johann Schumann

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

What Is an Agent? And What Is an Agent Community?

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_1 ◽

2006 ◽

pp. 3-24 ◽

Cited By ~ 3

Author(s):

Walter F. Truszkowski

Download Full-text

Formal Verification of Autonomy Models

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_11 ◽

2006 ◽

pp. 311-339 ◽

Cited By ~ 3

Author(s):

Charles Pecheur ◽

Reid Simmons ◽

Peter Engrand

Keyword(s):

Formal Verification

Download Full-text

A Process-Algebraic Agent Abstraction

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_4 ◽

2006 ◽

pp. 99-137

Author(s):

Albert Esterline ◽

Toinette Rorie ◽

Abdollah Homaifar

Keyword(s):

Process Algebraic

Download Full-text

Formal Methods and Agent-Based Systems

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_3 ◽

2006 ◽

pp. 65-96

Author(s):

Michael Luck ◽

Mark d’Inverno

Keyword(s):

Formal Methods ◽

Agent Based

Download Full-text

Dynamic Team Formation in Executable Agent-Based Systems

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_5 ◽

2006 ◽

pp. 139-158 ◽

Cited By ~ 2

Author(s):

Michael Fisher ◽

Chiara Ghidini ◽

Antony Kakoudakis

Keyword(s):

Team Formation ◽

Agent Based

Download Full-text

Introduction to Formal Methods

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective ◽

10.1007/1-84628-271-3_2 ◽

2006 ◽

pp. 25-64 ◽

Cited By ~ 3

Author(s):

Michael Hinchey ◽

Jonathan P. Bowen ◽

Christopher A. Rouff

Keyword(s):

Formal Methods

Download Full-text

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal PerspectiveLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Agents in a Wild World

Formal Methods at NASA Goddard Space Flight Center

Assuring the Behavior of Adaptive Agents

Scenario-Based Engineering of Multi-Agent Systems

What Is an Agent? And What Is an Agent Community?

Formal Verification of Autonomy Models

A Process-Algebraic Agent Abstraction

Formal Methods and Agent-Based Systems

Dynamic Team Formation in Executable Agent-Based Systems

Introduction to Formal Methods

NASA Monographs in Systems and Software Engineering - Agent Technology from a Formal Perspective
Latest Publications