Direct Model Checking of PLC Programs in IL
| Autor: | Schlich, Bastian, Brauer, Jörg, Wernerus, Jörg, Kowalewski, Stefan |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes June 2009 42(5):28-33 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Schlich, Bastian, Brauer, Jörg, Wernerus, Jörg, Kowalewski, Stefan |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes June 2009 42(5):28-33 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|