Requirements of an integrated formal method for intelligent swarms
- M. G. Hinchey
- , C. A. Rouff
- , J. L. Rash
- , W. F. Truszkowski
- NASA Goddard Space Flight Center
- SAIC
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review