「program verification」に関連した英語例文の一覧と使い方(3ページ目) - Weblio英語例文検索

VERIFICATION METHOD, VERIFICATION DEVICE AND VERIFICATION PROGRAM FOR SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

半導体集積回路の検証方法、検証装置および検証プログラム - 特許庁

TAG VERIFICATION SERVER DEVICE, TAG VERIFICATION SYSTEM, TAG VERIFICATION METHOD, AND PROGRAM THEREOF例文帳に追加

タグ検証サーバ装置、タグ検証システム、タグ検証方法及びそのプログラム - 特許庁

ESD VERIFICATION DEVICE, ESD VERIFICATION METHOD, AND ESD VERIFICATION PROGRAM例文帳に追加

ＥＳＤ検証装置、ＥＳＤ検証方法およびＥＳＤ検証プログラム - 特許庁

PROGRAM VERIFICATION DEVICE AND METHOD, SIGNATURE SYSTEM BASED ON PROGRAM VERIFICATION例文帳に追加

プログラム検証装置及び方法、プログラム検証に基づく署名システム - 特許庁

VERIFICATION PROGRAM AND VERIFICATION METHOD OF FLOATING POINT OPERATION PROGRAM例文帳に追加

浮動小数点演算プログラム用の検証方法及び検証プログラム - 特許庁

TIMESTAMP VERIFICATION DEVICE AND PROGRAM例文帳に追加

タイムスタンプ検証装置及びプログラム - 特許庁

VERIFICATION SUPPORT PROGRAM, STORAGE MEDIUM RECORDING THIS PROGRAM, VERIFICATION SUPPORT DEVICE AND VERIFICATION SUPPORT METHOD例文帳に追加

検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁

SOFTWARE DESIGN VERIFICATION DEVICE AND VERIFICATION PROGRAM AND VERIFICATION TARGET PROGRAM TO BE USED FOR THE SAME DEVICE例文帳に追加

ソフトウェア設計検証装置ならびにそれに用いる検証プログラムおよび検証対象プログラム - 特許庁

VERIFICATION METHOD, INFORMATION PROCESSOR, RECORDING MEDIUM, VERIFICATION SYSTEM, AUTHENTICATION PROGRAM, AND VERIFICATION PROGRAM例文帳に追加

検証方法、情報処理装置、記録媒体、検証システム、証明プログラム及び検証プログラム - 特許庁

DESIGN VERIFICATION DEVICE, DESIGN VERIFICATION PROGRAM, AND RECORDING MEDIUM FOR RECORDING DESIGN VERIFICATION PROGRAM例文帳に追加

設計検証装置、設計検証プログラム、および設計検証プログラムを記録する記録媒体 - 特許庁

VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM RECORDING THE PROGRAM, VERIFICATION SUPPORT DEVICE, AND VERIFICATION SUPPORT METHOD例文帳に追加

検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁

VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM, VERIFICATION SUPPORT DEVICE AND VERIFICATION SUPPORT METHOD例文帳に追加

検証支援プログラム、記録媒体、検証支援装置および検証支援方法 - 特許庁

VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM, VERIFICATION SUPPORT DEVICE, AND VERIFICATION SUPPORT METHOD例文帳に追加

検証支援プログラム、記録媒体、検証支援装置、および検証支援方法 - 特許庁

VERIFICATION SUPPORT DEVICE, VERIFICATION SUPPORT METHOD, VERIFICATION SUPPORT PROGRAM AND RECORDING MEDIUM例文帳に追加

検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 - 特許庁

LOGIC VERIFICATION SYSTEM, LOGIC VERIFICATION METHOD, LOGIC VERIFICATION PROGRAM, AND RECORDING MEDIUM例文帳に追加

論理検証装置、論理検証方法、論理検証プログラムおよび記録媒体 - 特許庁

VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, VERIFICATION SUPPORT PROGRAM, AND RECORDING MEDIUM例文帳に追加

検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 - 特許庁

SOURCE CODE VERIFICATION SYSTEM, SOURCE CODE VERIFICATION METHOD AND SOURCE CODE VERIFICATION PROGRAM例文帳に追加

ソースコード検証システム、ソースコード検証方法、およびソースコード検証用プログラム - 特許庁

VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, VERIFICATION SUPPORT PROGRAM, AND RECORDING MEDIUM例文帳に追加

検証支援装置、検証支援方法、検証支援プログラムおよび記録媒体 - 特許庁

IMAGE DATA VERIFICATION PROGRAM, IMAGE DATA VERIFICATION METHOD AND IMAGE DATA VERIFICATION SYSTEM例文帳に追加

画像データ検証プログラム、画像データ検証方法及び画像データ検証システム - 特許庁

MOTION HISTORY VERIFICATION SYSTEM, MOTION HISTORY VERIFICATION METHOD, AND MOTION HISTORY VERIFICATION PROGRAM例文帳に追加

移動履歴証明システム、移動履歴証明方法、移動履歴証明プログラム - 特許庁

LAYOUT DATA VERIFICATION APPARATUS, LAYOUT DATA VERIFICATION METHOD, AND LAYOUT DATA VERIFICATION PROGRAM例文帳に追加

レイアウトデータ検証装置、レイアウトデータ検証方法、及びレイアウトデータ検証プログラム - 特許庁

BATCH PROCESSING VERIFICATION APPARATUS, BATCH PROCESSING VERIFICATION PROGRAM AND BATCH PROCESSING VERIFICATION METHOD例文帳に追加

バッチ処理検証装置、バッチ処理検証プログラム、及びバッチ処理検証方法 - 特許庁

LOGIC VERIFICATION DEVICE, LOGIC VERIFICATION METHOD AND PROGRAM例文帳に追加

論理検証装置および論理検証方法並びにプログラム - 特許庁

LOGIC VERIFICATION DEVICE, LOGIC VERIFICATION METHOD, AND CONTROL PROGRAM例文帳に追加

論理検証装置、論理検証方法、及び制御プログラム - 特許庁

VERIFICATION SUPPORT DEVICE, VERIFICATION SUPPORT METHOD, AND COMPUTER PROGRAM例文帳に追加

確認支援装置、確認支援方法、およびコンピュータプログラム - 特許庁

SYSTEM LSI VERIFICATION DEVICE AND SYSTEM LSI VERIFICATION PROGRAM例文帳に追加

システムＬＳＩ検証装置及びシステムＬＳＩ検証プログラム - 特許庁

CORRECTION VERIFICATION METHOD AND CORRECTION VERIFICATION PROGRAM FOR MASK PATTERN例文帳に追加

マスクパターンの補正検証方法および補正検証プログラム - 特許庁

CODE VERIFICATION PROCESSING METHOD, CODE VERIFICATION PROCESSING PROGRAM AND CODE DISPLAY PROGRAM例文帳に追加

コード照合処理方法、コード照合処理プログラム及びコード表示プログラム - 特許庁

PROGRAM VERIFICATION DEVICE, AND METHOD THEREFOR例文帳に追加

プログラム検証装置及びその方法 - 特許庁

MASK PATTERN VERIFICATION METHOD AND PROGRAM例文帳に追加

マスクパターン検証方法およびプログラム - 特許庁

TRACEABILITY VERIFICATION SYSTEM, METHOD AND PROGRAM例文帳に追加

トレーサビリティ検証システム、方法、プログラム - 特許庁

VERIFICATION SUPPORT DEVICE AND COMPUTER PROGRAM例文帳に追加

確認支援装置及びコンピュータプログラム - 特許庁

OPERATION VERIFICATION APPARATUS AND PROGRAM THEREOF例文帳に追加

動作検証装置およびそのプログラム - 特許庁

To provide a program verification program, a program verification device and a program verification method that verify a program in consideration of a memory consistency model.例文帳に追加

メモリーコンシステンシーモデルを考慮し、プログラムの検証を行うプログラム検証プログラム、プログラム検証装置、プログラム検証方法を提供する。 - 特許庁

VERIFICATION APPARATUS, VERIFICATION METHOD, AND VERIFICATION PROGRAM FOR VERIFYING SECURITY OF PROTOCOL例文帳に追加

プロトコルの安全性を検証する検証装置、検証方法および検証プログラム - 特許庁

MODEL DESIGN VERIFICATION DEVICE, MODEL DESIGN VERIFICATION METHOD AND MODEL DESIGN VERIFICATION PROGRAM例文帳に追加

モデル設計検証装置、モデル設計検証方法およびモデル設計検証プログラム - 特許庁

QUANTUM-ENTANGLEMENT VERIFICATION METHOD, QUANTUM-ENTANGLEMENT VERIFICATION DEVICE, AND QUANTUM-ENTANGLEMENT VERIFICATION PROGRAM例文帳に追加

量子もつれ検証方法、量子もつれ検証装置、量子もつれ検証プログラム - 特許庁

IMAGE VERIFICATION SYSTEM, IMAGE VERIFICATION DEVICE, IMAGE VERIFICATION METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

画像検証システム、画像検証装置、画像検証方法、プログラム及び記録媒体 - 特許庁

LOGIC SPECIFICATION VERIFICATION PROGRAM, LOGIC SPECIFICATION VERIFICATION DEVICE AND LOGIC SPECIFICATION VERIFICATION METHOD例文帳に追加

論理仕様検証プログラム、論理仕様検証装置、および論理仕様検証方法 - 特許庁

DESIGN VERIFICATION DEVICE, DESIGN VERIFICATION PROGRAM, DESIGN VERIFICATION METHOD, AND CAD SYSTEM例文帳に追加

設計検証装置，設計検証プログラム，設計検証方法およびＣＡＤシステム - 特許庁

VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREIN, VERIFICATION SUPPORT APPARATUS, AND VERIFICATION SUPPORT METHOD例文帳に追加

検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁

VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREON, VERIFICATION SUPPORT DEVICE, AND VERIFICATION SUPPORT METHOD例文帳に追加

検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁

RADIO WAVE BROADCAST VERIFICATION APPARATUS AND PROGRAM例文帳に追加

電波放送検証装置及びプログラム - 特許庁

LOGIC VERIFICATION PROGRAM AND RECORDING MEDIUM例文帳に追加

論理検証プログラム及び記録媒体 - 特許庁

OPERATION TIMING VERIFICATION DEVICE AND PROGRAM例文帳に追加

動作タイミング検証装置及びプログラム - 特許庁