Title of article :
Consistency Verification in Modeling of Real-Time Systems
Author/Authors :
Y. Deng، نويسنده , , J. Wang، نويسنده , , and M. Zhou، نويسنده ,
Pages :
7
From page :
136
To page :
142
Keywords :
manufacturing systems , Modeling and verification , real-time systems , time Petri nets (TPNs) , timing constraints.
Journal title :
Astroparticle Physics
Record number :
391734
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=391734
