Tool-assisted verification of behaviour networks.
| Autor: | Armbrust, Christopher, Kiekbusch, Lisa, Ropertz, Thorsten, Berns, Karsten |
|---|---|
| Zdroj: | 2013 IEEE International Conference on Robotics & Automation; 2013, p1813-1820, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|