To search, Click below search items.
All Published Papers Search Service
Title
Combining Software Methods for Effective Deployment of Programmable Logic Controllers (PLCs)
Author
Lucien Ngalamou, Leary Myers
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