Invitation
Committees
Congress Programme
Tutorials & Workshops
Topic Index
Author Index
Title Index
Search Papers
Sponsors
Congress Secretariat
Adobe Acrobat Reader
DVD Info
powered by:
MagicWare, s.r.o.
Matko Drago
Invitation
»
Author Index
»
M
»
Matko Drago
Affiliation:
University of Ljubljana
Country:
Slovenia
Paper Code
Title
Topic
Mo-E17-TO/5
Combined synthesis/verification approach to programmable logic control of a production line
5.1