Art
J-GLOBAL ID:201902209087006749   Reference number:19S0361474

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking

Author (4):
Material:
Volume:Page: 95-104  Publication year: 2015 
JST Material Number: SCOPUS  ISSN: 0730-3157  ISBN: 9781467365635  CODEN: PSICD 
Country of issue: United States (USA)  Language: English (EN)

Return to Previous Page