खोज परिणाम - "Common formal base."

  • प्रदर्शित 1 - 1 परिणाम 1
परिणाम को परिष्कृत करें
  1. 1

    A formal specification and verification framework for Time Warp-based parallel simulation. द्वारा Frey, P.

    में प्रकाशित IEEE Transactions on software engineering
    लेख