Modular Verification of Function Block Based Industrial Control Systems
| Autor: | Völker, Norbert, Krämer, Bernd J. |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes May-June 1999 32(1):159-164 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Völker, Norbert, Krämer, Bernd J. |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes May-June 1999 32(1):159-164 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|