COMBINED SYNTHESIS/VERIFICATION APPROACH TO PROGRAMMABLE LOGIC CONTROL OF A PRODUCTION LINE
MuŜiĉ, GaŜper, Matko, DragoVolume:
38
Year:
2005
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20050703-6-cz-1902.01441
File:
PDF, 391 KB
english, 2005