Showing 1 - 1 results of 1 for search 'Thang, Nguyen Truong', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Specification and verification of inter-component constraints in CTL. द्वारा Thang, Nguyen Truong

    में प्रकाशित Software engineering notes.
    लेख

    Specification and verification of inter-component constraints in CTL.

खोज साधन: