「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.
