• 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