栗田 太郎 | フェリカネットワークス(株)開発部2課
スポンサーリンク
概要
関連著者
-
栗田 太郎
フェリカネットワークス(株)開発部2課
-
栗田 太郎
フェリカネットワークス株式会社
-
栗田 太郎
フェリカネットワークス
-
荒木 啓二郎
九州大学大学院システム情報科学研究院
-
杉山 寛和
フェリカネットワークス(株)
-
只野 賢二
フェリカネットワークス株式会社
-
荒木 啓二郎
九州大学システム情報科学研究院
著作論文
- 3. 携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用(Part II:産業界への応用,フォーマルメソッドの新潮流)
- 2.携帯電話とFeliCaを融合したモバイルFeliCa技術(2.非接触ICカード技術の実装例と特徴,非接触ICカード技術とその展開)
- モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)