CHAPTER 3: REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS: REFERENCES.
| 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, p56-59, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|