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

    Formal analysis of a space-craft controller using SPIN. द्वारा Havelund, K.

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

    Formal analysis of a space-craft controller using SPIN.

खोज साधन: