@inproceedings{weko_191053_1,
   author	 = "石郷岡,祐 and Habib,Saissi and Thorsten,Piper and Stefan,Winter and Neeraj,Suri",
   title	 = "Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2018論文集",
   year 	 = "2018",
   volume	 = "2018",
   number	 = "",
   pages	 = "9--9",
   month	 = "aug"
}