Panel Discussion: Empirical versus Formal Methods

Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic. Panel Discussion: Empirical versus Formal Methods. In James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Volume 1871 of Lecture Notes in Computer Science, pages 345-353, Springer, 2000. [doi]

Authors

Diana F. Gordon

This author has not been identified. Look up 'Diana F. Gordon' in Google

Henry Hexmoor

This author has not been identified. Look up 'Henry Hexmoor' in Google

Robert L. Axtell

This author has not been identified. Look up 'Robert L. Axtell' in Google

Nenad Ivezic

This author has not been identified. Look up 'Nenad Ivezic' in Google