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
Keywords :
Formal verification , RTTL , reconfigurable manufacturing systems , machining systems , logic control , TTM.
Journal title :
I E E E Transactions on Robotics and Automation
Journal title :
I E E E Transactions on Robotics and Automation
