JSTニュース
Print ISSN : 1349-7361
Close UP
さきがけ研究
独立行政法人科学技術振興機構
著者情報
ジャーナル フリー

2004 年 1 巻 4 号 p. 17

詳細
抄録
研究領域 「機能と構成」
研究課題 「刺激応答型実時間システムの自動検証 技術:安全性・信頼性技術の開発」
産業技術総合研究所情報処理研究部門 研究員 大崎 人士
著者関連情報
© 2004 独立行政法人科学技術振興機構
前の記事
feedback
Top