文献

J-GLOBAL ID：201902275416006543   整理番号：19A0227813

「IoT,AI,ビッグデータと安全工学」形式手法と安全性

著者 (1件)： 青木利晃 (北陸先端科学技術大学院大)
資料名： 安全工学研究発表会講演予稿集
巻： 51st  ページ： 27-28  発行年： 2018年11月27日 
JST資料番号： X0032A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *形式記述 ,  安全工学 ,  *安全性 ,  オペレーティングシステム ,  制御装置 ,  システム ,  自動車艤装 ,  機械学習 ,  *品質保証 ,  *ソフトウェア開発 ,  電子制御装置

分類 (2件)： 計算機システム開発  (JD02010R) ,  品質管理一般  (KB04010A)

タイトルに関連する用語 (6件)： IoT ,  AI ,  ビッグデータ ,  安全工学 ,  形式手法 ,  安全性