Font Size: a A A
Keyword [Property Preservation]
Result: 1 - 5 | Page: 1 of 1
1. Feature-Oriented Development And Formal Functional Verification Of SystemC Model Product Line
2. The Research Of Confluence Property And Home State Of Petri Nets
3. Reaserch On Optimization Of Virtual Property Preservation System Based On Consistent Hashing And Secondary Indexes
4. Reduction Rules For Petri Net With Inhibitor Arcs Based Representation For Embedded Systems
5. Refinement Of Object-Oriented Petri Net And Its Application In System Modeling
  <<First  <Prev  Next>  Last>>  Jump to