প্রদর্শন 1 - 1 ফলাফল এর 1 অনুসন্ধানের জন্য 'Choi, Yunja', জিজ্ঞাসা করার সময়: 0.01সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Automatic abstraction for model checking software systems with interrelated numeric constraints. অনুযায়ী Choi, Yunja

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Automatic abstraction for model checking software systems with interrelated numeric constraints.

অনুসন্ধান সাধনীগুলি: