Requirements of an Integrated Formal Method for Intelligent Swarms

Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, Amy K.C.S. Vanderbilt

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publicationA Survey of Applications
PublisherJohn Wiley and Sons
Pages33-59
Number of pages27
ISBN (Print)9780470876183
DOIs
Publication statusPublished - 29 Nov 2012

Keywords

  • Conserving/monolithic integration
  • Intelligent swarms
  • NASA FAST Project
  • Swarm, ANTS mission in CSP
  • WSCCS/X-Machines

Cite this