CHAPTER 3: REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS: 3.2 SWARM TECHNOLOGIES.
| Autor: | HINCHEY, MIKE, RASH, JAMES L., ROUFF, CHRISTOPHER A., TRUSZKOWSKI, WALT F., VANDERBILT, AMY K. C. S. |
|---|---|
| Zdroj: | Formal Methods for Industrial Critical Systems (9781118459898); 2012, p35-39, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|