Tajiri Takayuki | <sup>2</sup>Faculty of Science, Fukuoka University, Fukuoka 814-0180, Japan
スポンサーリンク
概要
論文 | ランダム
- Alloyを用いた構成変更支援ツールと適用実験
- モデル検査による設計検証と整合テスト
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)