文献

J-GLOBAL ID：201702237721096422   整理番号：17A1774631

競争2017をチェックするハードウェアモデル【Powered by NICT】

Hardware model checking competition 2017

著者 (3件)： Biere Armin (Johannes Kepler University Linz, Austria) ,  van Dijk Tom (Johannes Kepler University Linz, Austria) ,  Heljanko Keijo (Aalto University, Finland)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： FMCAD  ページ： 9  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ウィーンにおける2017年の計算機支援設計(FMCAD)における形式的方法に関する国際会議に関連したハードウェアモデル検査競合(HWMCC)2017は,組織化されたハードウェアモデルチェッカのための九競争イベントであった。AustinにおけるFMCAD’15にHWMCC’15後,競争は2016年に切断を要した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *国際会議
準シソーラス用語： ウィーン , 【Automatic Indexing@JST】

分類 (5件)： 船体ぎ装  (QJ04010E) ,  ガスタービン  (PB02040Y) ,  空気調和一般  (PC01000C) ,  音響光学効果  (BM08030W) ,  クレーン  (QE01020F)

タイトルに関連する用語 (3件)： 競争 ,  チェック ,  ハードウェアモデル