最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察

Bibliographic Information

Other Title

サイユウシュウショウジュショウロンブンクミコミソフトウェアセッケイケンショウエノモデルケンサギジュツノテキヨウトコウサツ
Design verification of embedded software based on model checking techniques: application and discussions
「SEC journal」論文賞
SEC journal ロンブンショウ

Search this article

コレクション : 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人

Journal

SEC journal / 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター編 3 (4), 10-19, 2008-01

東京 : 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター

Details 詳細情報について

Web Site: http://id.ndl.go.jp/bib/9382012; https://ndlsearch.ndl.go.jp/books/R000000004-I9382012

NDL Source Classification

Data Source

Export

最優秀賞受賞論文組込みソフトウェア設計検証へのモデル検査技術の適用と考察