Verification of Behaviour Networks Using Finite-State Automata.
| Autor: | Armbrust, Christopher, Kiekbusch, Lisa, Ropertz, Thorsten, Berns, Karsten |
|---|---|
| Zdroj: | KI 2012: Advances in Artificial Intelligence; 2012, p1-12, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|