Formal Verification Method for Safety Diagnosis Software

NARISAWA Fumio; MATSUBARA Masahiro; NISHI Masataka; EBINA Tomohito

Art

J-GLOBAL ID：201602205333974213 Reference number：16A0148694

Formal Verification Method for Safety Diagnosis Software

安全性診断ソフトウェアに対する形式検証法

Publisher site Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=16A0148694&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=16A0148694&from=J-GLOBAL&jstjournalNo=D0244B") }}

Author (4)： , , ,
Material：
Page： 6P Publication year： 2015
JST Material Number： D0244B ISSN： 0148-7191 Document type： Proceedings
Article type：原著論文 Country of issue： United States (USA) Language： ENGLISH (EN)

, , , , , , , ,
, ,

Automobile design,structure and materials in general , Computer system development

, , ,

Return to Previous Page