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