To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Combining Software Methods for Effective Deployment of Programmable Logic Controllers (PLCs) |
|
Author |
|
| Citation |
Vol. 10 No. 12 pp. 134-146 |
|
Keywords |
Automatic Resource Allocation, XML Model, Programmable Logic Controllers (PLCs), PLC Database, XML to SMV Translation, Formal Verification |
|
Title |
Process Calculus and Horn Clauses-Based Deduction in the Verification of Security Protocols |
|
Author |
|
| Citation |
Vol. 20 No. 5 pp. 11-17 |
|
Keywords |
Undecidability, security protocols, process calculus, Horn clauses, formal verification. |
