サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

組み込みソフトへの数理的アプローチ(第8回)時相論理式を見る--LTSAで時相論理式をステート・マシンに変換する

藤倉 俊幸

詳細情報

タイトル 組み込みソフトへの数理的アプローチ(第8回)時相論理式を見る--LTSAで時相論理式をステート・マシンに変換する
著者 藤倉 俊幸
出版年 2007-09
別タイトル Mathematical approach to embedded softwares (8) Looking at temporal logic formula: converting temporal logic formula to state machine by LTSA
件名(キーワード) LTSA
件名(キーワード) NuSMV
件名(キーワード) Buchi automata
件名(キーワード) Strong Until
件名(キーワード) Weak Until
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(ISSN形式) 03879569
掲載誌情報(ISSNL形式) 03879569
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000000032482-00
掲載誌名 インターフェース / CQ出版社 [編]
掲載巻 33
掲載号 9
掲載通号 363
掲載ページ 176~179
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで