To search, Click below search items.

 

All Published Papers Search Service

Results for XML to SMV Translation; Total 1

Title

Combining Software Methods for Effective Deployment of Programmable Logic Controllers (PLCs)

Author

Lucien Ngalamou, Leary Myers
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

[1]