Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

この検索内の頻出タグ: behavior-derived:1 detection:1 error:1 hardware:1 in-situ:1 models:1 net:1 petri:1 sequences:1 specification-derived:1 state:1

1 件の該当がありました． : このページのURL : HTML


論文誌
[1] Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, and Masanori Hashimoto, "In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 採録済.