Agent technology from a formal perspective (English)
- New search for: Rouff, Christopher A.
- Further information on Rouff, Christopher A.:
- http://d-nb.info/gnd/140550496
2006
-
ISBN:
- Report / Print
-
Title:Agent technology from a formal perspective
-
Contributors:Rouff, Christopher A. ( editor )
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:London , [Heidelberg]
-
Publication date:2006
-
Size:XVI, 354 S.
-
Remarks:graph. Darst.
Digital preservation by Badische Landesbibliothek -
ISBN:
-
Type of media:Report
-
Type of material:Print
-
Language:English
-
Contract number:11344476
- New search for: 68-06 / *68T05
- Further information on Mathematics Subject Classification
- New search for: 620
- Further information on Dewey Decimal Classification
- New search for: 54.72
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
What Is an Agent? And What Is an Agent Community?Truszkowski, Walter F. et al. | 2006
- 25
-
Introduction to Formal MethodsHinchey, Michael / Bowen, Jonathan P. / Rouff, Christopher A. et al. | 2006
- 65
-
Formal Methods and Agent-Based SystemsLuck, Michael / d’Inverno, Mark et al. | 2006
- 99
-
A Process-Algebraic Agent AbstractionEsterline, Albert / Rorie, Toinette / Homaifar, Abdollah et al. | 2006
- 139
-
Dynamic Team Formation in Executable Agent-Based SystemsFisher, Michael / Ghidini, Chiara / Kakoudakis, Antony et al. | 2006
- 159
-
Scenario-Based Engineering of Multi-Agent SystemsWhittle, Jon / Schumann, Johann et al. | 2006
- 193
-
Verification Within the KARO Agent TheoryHustadt, Ullrich / Dixon, Clare / Schmidt, Renate A. / Fisher, Michael / Meyer, John-Jules Charles / Hoek, Wiebe et al. | 2006
- 227
-
Assuring the Behavior of Adaptive AgentsSpears, Diana F. et al. | 2006
- 259
-
Agents in a Wild WorldMenzies, Tim / Hu, Ying et al. | 2006
- 287
-
Formal Methods at NASA Goddard Space Flight CenterRouff, Christopher A. / Rash, James L. / Hinchey, Michael G. / Truszkowski, Walter F. et al. | 2006
- 311
-
Formal Verification of Autonomy ModelsPecheur, Charles / Simmons, Reid / Engrand, Peter et al. | 2006