| 意味 | 例文 |
コンピューター用語辞典 |
日英・英日専門用語辞書 |
Weblio英和対訳辞書 |
形式的検証
「形式的検証」の部分一致の例文検索結果
該当件数 : 5件
マルチレベル・タイミング・シミュレータにおける形式的信号相互作用モデリングによる統計的タイミング検証と遅れ障害検出
statistical timing verification and delay fault detection by formal signal interaction modeling in a multi-level timing simulator - コンピューター用語辞典
これらの形式にこだわらず、記載すべき事項が漏れなく明文化され、取締役会等の承認を受け、組織内に周知徹底され、金融円滑化の実効的な管理態勢が整備されているか否かを実証的に検証する。
The inspector should empirically review, regardless of the form of rules, whether or not the rules exhaustively stipulate necessary matters and are fully disseminated throughout the organization, upon approval by the Board of Directors, thus ensuring an effective management system of Financial Support. - 金融庁
これらの形式にこだわらず、記載すべき事項が漏れなく明文化され、取締役会等の承認を受け、必要のある役職員に周知徹底され、実効的な本人確認に係る態勢が整備されているか否かを実証的に検証する。
The inspector should empirically review, regardless of the form of rules, whether or not the rules exhaustively stipulate necessary matters and are fully disseminated to the personnel who should be acquainted with them, upon approval by the Board of Directors or organization equivalent to the Board of Directors, thus ensuring an effective customer identity verification system. - 金融庁
| 意味 | 例文 |
| 形式的検証のページへのリンク |
