A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.2014fop0012
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)


Related search