To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
A Software Approach for the Design of a Virtual Plant Generator |
|
Author |
|
| Citation |
Vol. 10 No. 9 pp. 48-56 |
|
Keywords |
Virtual plant generator Virtual model, Emulation, Industrial Process Control Studio |
|
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 |
Meltdown and Spectre Vulnerability in x86 CPUs: How Does the Security Patches Affect Speed? |
|
Author |
|
| Citation |
Vol. 25 No. 8 pp. 53-58 |
|
Keywords |
Vulnerabilities, Patches, Operating Systems, CPU (Central Processing Unit). |
