Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.
| Autor: | Newell, Josh, Pang, Linna, Tremaine, David, Wassyng, Alan, Lawford, Mark |
|---|---|
| Zdroj: | NASA Formal Methods (9783319406473); 2016, p206-220, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|