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