Application of formal verification and falsification to large-scale chemical plant automation systems
| Autor: | Rawlings, Blake C., Wassick, John M., Ydstie, B. Erik |
|---|---|
| Zdroj: | In Computers and Chemical Engineering 9 June 2018 114:211-220 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect