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

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

2000, 555-560

Number of Access:547（2025-08-31 18:49 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/51106

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
13th_worshop_CS_555 pdf None 579 KB 59 2015.02.02 出版社版/publisher  

Item Information

Output File Export EndNote Basic Export Mendeley

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