Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
張 漢明 and 野呂 昌満 and 沢田 篤史,A discussion on concurrent system verification for considering simultaneous event occurences,"情報処理学会研究報告. EMB, 組込みシステム",09196072,Information Processing Society of Japan (IPSJ),2015-02-27,2015,13,1-6,https://cir.nii.ac.jp/crid/1572824502691384832,