Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Guihuan Duan

Extended FRAM by Integrating With Model Checking to Effectively Explore Hazard Evolution

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Related publications

Integrating Model Checking and Theorem Proving in a Reflective Functional Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Checking Business Process Evolution

Science of Computer Programming
Software
2019English

Checking Model-Data Weather Hazard Occurrence Fit in the Context of Climate Change

2011English

Heuristics for Hierarchical Partitioning With Application to Model Checking

BRICS Report Series
2000English

Developing an Extended Model of Theory of Planned Behavior to Explore Green Purchase Behavior of Pakistani Consumers

American Journal of Business and Management
2015English

Bringing LTL Model Checking to Biologists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Improving Model Checking With Context Modelling

Advances in Software Engineering
2012English

Model Checking

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy