2016-10-04 車の自動車制御システムの安全性を自動検証－日立 Weblog 安全要件の記述を簡略化してパターン化したそうな。 後で読む 車の制御システムの安全性を自動で検証−日立、項目をパターン化 http://www.nikkan.co.jp/articles/view/00400862?kawara05_20160926
