ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 全国大会
  2. 39回
  3. ハードウェア

時間協調を含むシーケンス制御回路の設計検証システム(2) : 検証手法及び検証例

https://ipsj.ixsq.nii.ac.jp/records/117899
https://ipsj.ixsq.nii.ac.jp/records/117899
411f165b-b7d2-4abc-956a-15245d750b27
名前 / ファイル ライセンス アクション
KJ00003118235.pdf KJ00003118235.pdf (110.2 kB)
Item type National Convention(1)
公開日 1989-10-16
タイトル
タイトル 時間協調を含むシーケンス制御回路の設計検証システム(2) : 検証手法及び検証例
タイトル
言語 en
タイトル A Design Verification System for Sequential Control Circuits N0.2
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
日立製作所
著者所属
日立製作所
著者所属
日立製作所
著者所属
日立製作所
著者所属
日立製作所
著者所属
東京電力
著者所属
東京電力
著者所属(英)
en
Hitachi, Ltd.
著者所属(英)
en
Hitachi, Ltd.
著者所属(英)
en
Hitachi, Ltd.
著者所属(英)
en
Hitachi, Ltd.
著者所属(英)
en
Hitachi, Ltd.
著者所属(英)
en
TEPCO
著者所属(英)
en
TEPCO
論文抄録
内容記述タイプ Other
内容記述 前報では、定理証明法による時間協調を含むシーケンス制御回路の設計検証システムについてそのシステム構成を示した。本報告では、述語論理による時間変化情報の表現、及びそれを利用した定理証明の制御戦略について説明すると共に、設計検証例についても示す。
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 全国大会講演論文集

巻 第39回, 号 ハードウェア, p. 1689, 発行日 1989-10-16
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-21 05:10:24.805006
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3