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

A Risk Analysis Model for Mining Accidents Using a Fuzzy Approach Based on Fault Tree Analysis

Journal of Enterprise Information Management
Information SystemsInformation SciencesDecision SciencesLibraryInnovationManagement of Technology
2018English

A Mechanical Fault Feature Extraction Method Based on Volterra Series Model for EEMD Decomposition

2015English

UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Fault Mechanism Analysis for Manufacturing System Based on Catastrophe Model

Mathematical Problems in Engineering
MathematicsEngineering
2019English

Strategies to Automatically Derive a Process Model From a Configurable Process Model Based on EventData

2017English

Underapproximation for Model-Checking Based on Random Cryptographic Constructions

English

A Bayesian Approach to Model Checking Biological Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
2019English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy