An Improved POCTL Model Checking Algorithm Based on Preprocess Mechanism

DEStech Transactions on Computer Science and Engineering
doi 10.12783/dtcse/cst2017/12490
Full Text
Abstract

Available in full text

Date
Authors
Publisher

DEStech Publications

Related search

An Improved Model Based on Negative Selection Algorithm

DEStech Transactions on Social Science, Education and Human Science
2017English

An Improved Corner Detection Algorithm Based on Harris

Advanced Engineering Forum
2012English

Research on an Improved Grid Task Scheduling Model Algorithm

International Journal of Grid and Distributed Computing
Computer Science
2017English

Model Checking for Improved Adaptive Behaviour

2013English

An Improved Non-Negative Matrix Factorization Algorithm Based on Genetic Algorithm

2015English

An Improved Algorithm Research of Transit Signal Priority Based on Bi-Objective Optimization Model

2013English

An Improved LambdaMART Algorithm Based on the Matthew Effect

Mathematical Problems in Engineering
MathematicsEngineering
2018English

An Improved Distance Heuristic Function for Directed Software Model Checking

2006English

An Improved Algorithm Based on Wellner’s Threshold Segmentation Method

Open Cybernetics and Systemics Journal
ControlSystems EngineeringMathematics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy