検索結果一覧

検索条件

  • 著者
    来間啓伸
ハイライト

1 ～ 3 件（全3 件）

    AIソフトウェアのテスト 答のない答え合わせ<4つの手法>

    佐藤 直人／共著 小川 秀人／共著

    リックテレコム 2021.5 (AI/Data Science実務選書)

    Event‐B リファインメント・モデリングに基づく形式手法

    中島 震/共著 來間 啓伸/共著

    近代科学社 2015.2

    Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証

    来間 啓伸/著 中島 震/監修

    近代科学社 2007.12 (トップエスイー実践講座)

1 ～ 3 件（全3 件）