整数入力値を保持するレジスタを持つEFSMに対する記号モデル検査アルゴリズム

竹中, 崇; 岡野, 浩三; 東野, 輝夫 他

2000, 555-560

アクセス数:661件（2026-02-18 22:07 集計）

固定URL: https://hdl.handle.net/11094/51106

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
13th_worshop_CS_555 pdf なし 579 KB 70 2015.02.02 出版社版/publisher  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
整数入力値を保持するレジスタを持つEFSMに対する記号モデル検査アルゴリズム
Symbolic Model Checking of a Class of Extended Finite State Machines with Integer Input Variable
セイスウ　ニュウリョクチ　ヲ　ホジ　スル　レジスタ　ヲ　モツ　EFSM　ニ　タイスル　キゴウ　モデル　ケンサ　アルゴリズム
著者
著者名
竹中, 崇 ; タケナカ, タカシ ; Takenaka, Takashi
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000080173144 1000080173144
researchmap permalink
teruo.higashino teruo.higashino
Scopus Author ID
7005648670 7005648670
著者名
東野, 輝夫 ; ヒガシノ, テルオ ; Higashino, Teruo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
内容
第13回 回路とシステム軽井沢ワークショップ論文集
The 13th Workshop on Circuits and Systems in Karuizawa，April 24-25，2000
出版者
電子情報通信学会
デンシ　ジョウホウ　ツウシン　ガッカイ
The Institute of Electronics, Information and Communication Engineers
ページ
555-560
刊行年月
2000-04
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/51106
アクセス権
open access
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article