WEKO3
アイテム
パネルディスカッション 組込みソフトウェアにおける形式的手法の実用化に向けて
https://ipsj.ixsq.nii.ac.jp/records/33945
https://ipsj.ixsq.nii.ac.jp/records/339451497eb52-f53a-465d-9cd3-03ae32088830
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2006 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2006-09-27 | |||||||
タイトル | ||||||||
タイトル | パネルディスカッション 組込みソフトウェアにおける形式的手法の実用化に向けて | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
北陸先端科学技術大学院大学 | ||||||||
著者所属 | ||||||||
(株)豊田中央研究所 | ||||||||
著者所属 | ||||||||
三菱電機マイコン機器ソフトウエア(株) | ||||||||
著者所属 | ||||||||
産業技術総合研究所 | ||||||||
著者所属 | ||||||||
兵庫県立大学 名古屋大学 | ||||||||
著者名 |
パネリスト:青木利晃
パネリスト:佐野範佳
パネリスト:宿ロ正弘
パネリスト:高橋孝一
コーディネータ:中本幸一
× パネリスト:青木利晃 パネリスト:佐野範佳 パネリスト:宿ロ正弘 パネリスト:高橋孝一 コーディネータ:中本幸一
|
|||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AA12149313 | |||||||
書誌情報 |
情報処理学会研究報告組込みシステム(EMB) 巻 2006, 号 101(2006-EMB-002), p. 21, 発行日 2006-09-27 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |