Symbolic Checking of Fuzzy CTL on Fuzzy Program Graph

Acta Informatica - Germany
doi 10.1007/s00236-018-0311-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Equitable Associate Fuzzy Graph of a Fuzzy Graph

Journal of Mathematics and Computer Science
Computational MechanicsComputational MathematicsComputer Science ApplicationsMathematics
2016English

M–Polar Fuzzy Graph Structures

Studies in Fuzziness and Soft Computing
Computational MathematicsComputer Science
2018English

Fuzzy Rough Graph Theory With Applications

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2018English

Quantified CTL: Expressiveness and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Fuzzy and Neuro-Symbolic Approaches to Assessment of Bank Loan Applicants

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2011English

Connectivity in a Bipolar Fuzzy Graph and Its Complement

Annals of Pure and Applied Mathematics
2017English

On Fuzzy Congruences and Fuzzy Strongh-Ideals of Hemirings

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2014English

Lectures on Fuzzy and Fuzzy Susy Physics

2007English

Aplikasi Fuzzy Pada Permasalahan Program Tak-Linier

BAREKENG: Jurnal Ilmu Matematika dan Terapan
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy