Title of article
Formal verification for analysis and design of logic controllers for reconfigurable machining systems
Author/Authors
Kalita، نويسنده , , D. Khargonekar، نويسنده , , P.P. ، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 2002
Pages
12
From page
463
To page
474
Keywords
Formal verification , RTTL , reconfigurable manufacturing systems , machining systems , logic control , TTM.
Journal title
I E E E Transactions on Robotics and Automation
Serial Year
2002
Journal title
I E E E Transactions on Robotics and Automation
Record number
391678
Link To Document