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: |
|