Error-free Control Programs by means of Graphical Program Design, Simulation-based Verification and Automatic Code Generation
Keyword(s):
2011 ◽
Vol 383-390
◽
pp. 308-314
Keyword(s):
2001 ◽
Vol 136
(3)
◽
pp. 310-318
◽