栗田 太郎 | フェリカネットワークス株式会社

スポンサーリンク

概要

• 栗田 太郎の詳細を見る
• 同名の論文著者
• フェリカネットワークス株式会社の論文著者

関連著者

• 栗田 太郎

  フェリカネットワークス株式会社

• 栗田 太郎

  フェリカネットワークス

• 栗田 太郎

  フェリカネットワークス(株)開発部2課

• 山本 修一郎

  名古屋大学情報連携統括本部情報戦略室

• 荒木 啓二郎

  九州大学大学院システム情報科学研究院

• 山本 修一郎

  Ntt 情報流通プラットフォーム研究所

• 杉山 寛和

  フェリカネットワークス(株)

• 山本 修一郎

  名古屋大学

• 只野 賢二

  フェリカネットワークス株式会社

• 山本 修一郎

  名古屋大学情報連携統括本部

• 山本 佳和

  株式会社デンソークリエイトプロジェクトセンターシステム1室

• 山本 佳和

  株式会社デンソークリエイト プロジェクトセンター システム1室

• 荒木 啓二郎

  九州大学システム情報科学研究院

• 山本 佳和

  株式会社デンソークリエイト

もっと見る 閉じる

著作論文

• 3. 携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用(Part II:産業界への応用,フォーマルメソッドの新潮流)
• 2.携帯電話とFeliCaを融合したモバイルFeliCa技術(2.非接触ICカード技術の実装例と特徴,非接触ICカード技術とその展開)
• モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保
• モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
• 開発文書品質の研究課題についての考察
• モバイル FeliCa のソフトウェア開発における\n品質確保のための構造と実践\n-抽象度の制御やコミュニケーションの活性化に向けて
• 形式手法の実践に対してよく尋ねられる質問とその回答:モバイルFeliCaの開発における形式仕様記述を通して

スポンサーリンク