Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yuichiro NAKAGAWA
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Related publications
A Risk Analysis Model for Mining Accidents Using a Fuzzy Approach Based on Fault Tree Analysis
Journal of Enterprise Information Management
Information Systems
Information Sciences
Decision Sciences
Library
Innovation
Management of Technology
A Mechanical Fault Feature Extraction Method Based on Volterra Series Model for EEMD Decomposition
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fault Mechanism Analysis for Manufacturing System Based on Catastrophe Model
Mathematical Problems in Engineering
Mathematics
Engineering
Strategies to Automatically Derive a Process Model From a Configurable Process Model Based on EventData
Underapproximation for Model-Checking Based on Random Cryptographic Constructions
A Bayesian Approach to Model Checking Biological Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
Software Analysis and Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
