Improving Automation Software Dependability: A Role for Formal Methods?
Autor: | Johnson, Timothy L. |
---|---|
Zdroj: | In IFAC Proceedings Volumes April 2004 37(4):153-164 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Johnson, Timothy L. |
---|---|
Zdroj: | In IFAC Proceedings Volumes April 2004 37(4):153-164 |
Databáze: | ScienceDirect |
Externí odkaz: |