A survey of high-level programming languages in control systems. (English)
Int. Arab J. Inf. Technol. 8, No. 2, 178-187 (2011).
1
Use of a lightweight formal method to model the static aspects of state machines. (English)
Innov. Syst. Softw. Eng. 5, No. 4, 255-264 (2009).
2
A requirements engineering process for control engineering software. (English)
Innov. Syst. Softw. Eng. 3, No. 4, 217-227 (2007).
3
A formal model for the building of state machines: A lightweight approach (English)
SEW, 194-203 (2007).
4
Start
Contact
Print
General Help
