| 例文 |
augmented modelの部分一致の例文一覧と使い方
該当件数 : 1件
Typically, a Java model checker is augmented to check for certain types of requirements or properties in performing the symbolic execution.例文帳に追加
典型的に、シンボリック実行を行う際に一定種類の要求又はプロパティを検査するよう、Javaモデルチェッカが拡張される。 - 特許庁
| 例文 |
| Copyright © Japan Patent office. All Rights Reserved. |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|