External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems

Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. pages 24-33, IEEE Computer Society, 2004. [doi]

Authors

Christopher Rouff

This author has not been identified. Look up 'Christopher Rouff' in Google

Amy Vanderbilt

This author has not been identified. Look up 'Amy Vanderbilt' in Google

Michael G. Hinchey

This author has not been identified. Look up 'Michael G. Hinchey' in Google

Walt Truszkowski

This author has not been identified. Look up 'Walt Truszkowski' in Google

James L. Rash

This author has not been identified. Look up 'James L. Rash' in Google
runs on