組み込みソフトへの数理的アプローチ(第8回)時相論理式を見る--LTSAで時相論理式をステート・マシンに変換する
書誌事項
- タイトル別名
-
- クミコミ ソフト エノ スウリテキ アプローチ ダイ 8カイ ジソウ ロンリシキ オ ミル LTSA デ ジソウ ロンリシキ オ ステート マシン ニ ヘンカンスル
- Mathematical approach to embedded softwares (8) Looking at temporal logic formula: converting temporal logic formula to state machine by LTSA
この論文をさがす
収録刊行物
-
- インターフェース = Interface : コンピュータ・サイエンス&テクノロジ専門誌
-
インターフェース = Interface : コンピュータ・サイエンス&テクノロジ専門誌 33 (9), 176-179, 2007-09
東京 : CQ出版社
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1522825129677657472
-
- NII論文ID
- 40015574109
-
- NII書誌ID
- AN10546799
-
- ISSN
- 03879569
-
- NDL書誌ID
- 8898928
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZM13(科学技術--科学技術一般--データ処理・計算機)
-
- データソース種別
-
- NDL
- CiNii Articles