Title of article
Consistency Verification in Modeling of Real-Time Systems.
Author/Authors
Y. Deng، نويسنده , , J. Wang، نويسنده , , and M. Zhou، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 2004
Pages
7
From page
136
To page
142
Keywords
Modeling and verification , timing constraints. , time Petri nets (TPNs) , manufacturing systems , real-time systems
Journal title
I E E E Transactions on Robotics and Automation
Serial Year
2004
Journal title
I E E E Transactions on Robotics and Automation
Record number
382086
Link To Document