組み込みソフトウェアの設計&検証 - 割り込み動作からRTOSを使った設計,ツールによる Tech I
  • 和書
リアルタイム/マルチタスクシステムの徹底研究 - 組み込みシステムの基本とタスクスケジューリング技術 Tech I
  • 和書
組み込みソフトへの数理的アプローチ - 形式手法によるソフトウェアの仕様記述と検証 Computer technology
  • 和書
モデルに基づくシステムズエンジニアリング
  • 和書

モデルに基づくシステムズエンジニアリング

西村 秀和【総監修】/藤倉 俊幸【企画・監修】

  • 日経BP(2015/06発売)
  • ご注文いただけません