Symbolic checking of Fuzzy CTL on Fuzzy Program Graph View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2019-02

AUTHORS

Masoud Ebrahimi, Gholamreza Sotudeh, Ali Movaghar

ABSTRACT

Few fuzzy temporal logics and modeling formalisms are developed such that their model checking is both effective and efficient. State-space explosion makes model checking of fuzzy temporal logics inefficient. That is because either the modeling formalism itself is not compact, or the verification approach requires an exponentially larger yet intermediate representation of the modeling formalism. To exemplify, Fuzzy Program Graph (FzPG) is a very compact, and powerful formalism to model fuzzy systems; yet, it is required to be translated into an equal Fuzzy Kripke model with an exponential blow-up should it be formally verified. In this paper, we introduce Fuzzy Computation Tree Logic (FzCTL) and its direct symbolic model checking over FzPG that avoids the aforementioned state-space explosion. Considering compactness and readability of FzPG along with expressiveness of FzCTL, we believe the proposed method is applicable in real-world scenarios. Finally, we study formal verification of fuzzy flip-flops to demonstrate capabilities of the proposed method. More... »

PAGES

1-33

References to SciGraph publications

  • 2013-10. Model checking for probabilistic timed automata in FORMAL METHODS IN SYSTEM DESIGN
  • 1995. Model checking of probabilistic and nondeterministic systems in FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 1996. Fuzzy Flip-flop in FUZZY LOGIC
  • 2006-11. Data structures for symbolic multi-valued model-checking in FORMAL METHODS IN SYSTEM DESIGN
  • 1986. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends in CURRENT TRENDS IN CONCURRENCY
  • 2002-06. Fuzzy Markov Chains and Decision-Making in FUZZY OPTIMIZATION AND DECISION MAKING
  • 1994-09. A logic for reasoning about time and reliability in FORMAL ASPECTS OF COMPUTING
  • 2015-03. Abstraction and approximation in fuzzy temporal logics and models in FORMAL ASPECTS OF COMPUTING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00236-018-0311-3

    DOI

    http://dx.doi.org/10.1007/s00236-018-0311-3

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1100808995


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Graz University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.410413.3", 
              "name": [
                "Graz University of Technology, Graz, Austria"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ebrahimi", 
            "givenName": "Masoud", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Shiraz University", 
              "id": "https://www.grid.ac/institutes/grid.412573.6", 
              "name": [
                "Department of Computer Engineering, Azad University of Shiraz, Shiraz, Iran"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sotudeh", 
            "givenName": "Gholamreza", 
            "id": "sg:person.013653535546.33", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013653535546.33"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Sharif University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.412553.4", 
              "name": [
                "Department of Computer Engineering, Sharif University of Technology, Tehran, Iran"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Movaghar", 
            "givenName": "Ali", 
            "id": "sg:person.011222540525.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011222540525.18"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/990010.990011", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000501935"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-006-0016-z", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001422809", 
              "https://doi.org/10.1007/s10703-006-0016-z"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-006-0016-z", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001422809", 
              "https://doi.org/10.1007/s10703-006-0016-z"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1998.1581", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006940224"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-322-88955-3_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008655375", 
              "https://doi.org/10.1007/978-3-322-88955-3_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00165-014-0318-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008887375", 
              "https://doi.org/10.1007/s00165-014-0318-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1015729400380", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017921028", 
              "https://doi.org/10.1023/a:1015729400380"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2629606", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020180494"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60692-0_70", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022695129", 
              "https://doi.org/10.1007/3-540-60692-0_70"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0027047", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029345153", 
              "https://doi.org/10.1007/bfb0027047"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0177-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047241468", 
              "https://doi.org/10.1007/s10703-012-0177-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01211866", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052049375", 
              "https://doi.org/10.1007/bf01211866"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01211866", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052049375", 
              "https://doi.org/10.1007/bf01211866"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.fss.2014.07.008", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052976110"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/bxp025", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059480012"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/21.362956", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061122041"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/21.44013", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061122174"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tsmcb.2003.819485", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061796265"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.12720/ijeee.3.4.256-262", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1064634137"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/re.2010.25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094311973"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/fuzzy.1995.409897", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095244382"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.1996.561342", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095346103"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/re.2009.36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095533063"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2019-02", 
        "datePublishedReg": "2019-02-01", 
        "description": "Few fuzzy temporal logics and modeling formalisms are developed such that their model checking is both effective and efficient. State-space explosion makes model checking of fuzzy temporal logics inefficient. That is because either the modeling formalism itself is not compact, or the verification approach requires an exponentially larger yet intermediate representation of the modeling formalism. To exemplify, Fuzzy Program Graph (FzPG) is a very compact, and powerful formalism to model fuzzy systems; yet, it is required to be translated into an equal Fuzzy Kripke model with an exponential blow-up should it be formally verified. In this paper, we introduce Fuzzy Computation Tree Logic (FzCTL) and its direct symbolic model checking over FzPG that avoids the aforementioned state-space explosion. Considering compactness and readability of FzPG along with expressiveness of FzCTL, we believe the proposed method is applicable in real-world scenarios. Finally, we study formal verification of fuzzy flip-flops to demonstrate capabilities of the proposed method.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s00236-018-0311-3", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "type": "Periodical"
          }
        ], 
        "name": "Symbolic checking of Fuzzy CTL on Fuzzy Program Graph", 
        "pagination": "1-33", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "e5da0b8c9e0079b9817d7e4841648b6a7a498dc02f1f5773ca24286a27e153cd"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00236-018-0311-3"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1100808995"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00236-018-0311-3", 
          "https://app.dimensions.ai/details/publication/pub.1100808995"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T02:31", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8700_00000603.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007/s00236-018-0311-3"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0311-3'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0311-3'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0311-3'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0311-3'


     

    This table displays all metadata directly associated to this object as RDF triples.

    145 TRIPLES      21 PREDICATES      46 URIs      17 LITERALS      5 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00236-018-0311-3 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N0dbc7f13e1c04edabd0edf040a1c7f97
    4 schema:citation sg:pub.10.1007/3-540-60692-0_70
    5 sg:pub.10.1007/978-3-322-88955-3_7
    6 sg:pub.10.1007/bf01211866
    7 sg:pub.10.1007/bfb0027047
    8 sg:pub.10.1007/s00165-014-0318-7
    9 sg:pub.10.1007/s10703-006-0016-z
    10 sg:pub.10.1007/s10703-012-0177-x
    11 sg:pub.10.1023/a:1015729400380
    12 https://doi.org/10.1006/jcss.1998.1581
    13 https://doi.org/10.1016/j.fss.2014.07.008
    14 https://doi.org/10.1093/comjnl/bxp025
    15 https://doi.org/10.1109/21.362956
    16 https://doi.org/10.1109/21.44013
    17 https://doi.org/10.1109/fuzzy.1995.409897
    18 https://doi.org/10.1109/lics.1996.561342
    19 https://doi.org/10.1109/re.2009.36
    20 https://doi.org/10.1109/re.2010.25
    21 https://doi.org/10.1109/tsmcb.2003.819485
    22 https://doi.org/10.1145/2629606
    23 https://doi.org/10.1145/990010.990011
    24 https://doi.org/10.12720/ijeee.3.4.256-262
    25 schema:datePublished 2019-02
    26 schema:datePublishedReg 2019-02-01
    27 schema:description Few fuzzy temporal logics and modeling formalisms are developed such that their model checking is both effective and efficient. State-space explosion makes model checking of fuzzy temporal logics inefficient. That is because either the modeling formalism itself is not compact, or the verification approach requires an exponentially larger yet intermediate representation of the modeling formalism. To exemplify, Fuzzy Program Graph (FzPG) is a very compact, and powerful formalism to model fuzzy systems; yet, it is required to be translated into an equal Fuzzy Kripke model with an exponential blow-up should it be formally verified. In this paper, we introduce Fuzzy Computation Tree Logic (FzCTL) and its direct symbolic model checking over FzPG that avoids the aforementioned state-space explosion. Considering compactness and readability of FzPG along with expressiveness of FzCTL, we believe the proposed method is applicable in real-world scenarios. Finally, we study formal verification of fuzzy flip-flops to demonstrate capabilities of the proposed method.
    28 schema:genre research_article
    29 schema:inLanguage en
    30 schema:isAccessibleForFree true
    31 schema:isPartOf sg:journal.1133515
    32 schema:name Symbolic checking of Fuzzy CTL on Fuzzy Program Graph
    33 schema:pagination 1-33
    34 schema:productId N183148646a20448da00b2a74724044ee
    35 N2acdd9b054ed4a2184b0faa0ec62daa3
    36 N413b74319bb34e5ba776f7d91184799a
    37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1100808995
    38 https://doi.org/10.1007/s00236-018-0311-3
    39 schema:sdDatePublished 2019-04-11T02:31
    40 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    41 schema:sdPublisher N5b6813aed8984afaa1e012b02078b38c
    42 schema:url http://link.springer.com/10.1007/s00236-018-0311-3
    43 sgo:license sg:explorer/license/
    44 sgo:sdDataset articles
    45 rdf:type schema:ScholarlyArticle
    46 N0dbc7f13e1c04edabd0edf040a1c7f97 rdf:first N8a1fa30ac15f4f7796eec27591f320d9
    47 rdf:rest N254c96e665e744c3ba1311e58f6b04df
    48 N183148646a20448da00b2a74724044ee schema:name readcube_id
    49 schema:value e5da0b8c9e0079b9817d7e4841648b6a7a498dc02f1f5773ca24286a27e153cd
    50 rdf:type schema:PropertyValue
    51 N254c96e665e744c3ba1311e58f6b04df rdf:first sg:person.013653535546.33
    52 rdf:rest N3c0db1f591934aba9613e5d38687a5c1
    53 N2acdd9b054ed4a2184b0faa0ec62daa3 schema:name dimensions_id
    54 schema:value pub.1100808995
    55 rdf:type schema:PropertyValue
    56 N3c0db1f591934aba9613e5d38687a5c1 rdf:first sg:person.011222540525.18
    57 rdf:rest rdf:nil
    58 N413b74319bb34e5ba776f7d91184799a schema:name doi
    59 schema:value 10.1007/s00236-018-0311-3
    60 rdf:type schema:PropertyValue
    61 N5b6813aed8984afaa1e012b02078b38c schema:name Springer Nature - SN SciGraph project
    62 rdf:type schema:Organization
    63 N8a1fa30ac15f4f7796eec27591f320d9 schema:affiliation https://www.grid.ac/institutes/grid.410413.3
    64 schema:familyName Ebrahimi
    65 schema:givenName Masoud
    66 rdf:type schema:Person
    67 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    68 schema:name Information and Computing Sciences
    69 rdf:type schema:DefinedTerm
    70 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    71 schema:name Computation Theory and Mathematics
    72 rdf:type schema:DefinedTerm
    73 sg:journal.1133515 schema:issn 0001-5903
    74 1432-0525
    75 schema:name Acta Informatica
    76 rdf:type schema:Periodical
    77 sg:person.011222540525.18 schema:affiliation https://www.grid.ac/institutes/grid.412553.4
    78 schema:familyName Movaghar
    79 schema:givenName Ali
    80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011222540525.18
    81 rdf:type schema:Person
    82 sg:person.013653535546.33 schema:affiliation https://www.grid.ac/institutes/grid.412573.6
    83 schema:familyName Sotudeh
    84 schema:givenName Gholamreza
    85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013653535546.33
    86 rdf:type schema:Person
    87 sg:pub.10.1007/3-540-60692-0_70 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022695129
    88 https://doi.org/10.1007/3-540-60692-0_70
    89 rdf:type schema:CreativeWork
    90 sg:pub.10.1007/978-3-322-88955-3_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008655375
    91 https://doi.org/10.1007/978-3-322-88955-3_7
    92 rdf:type schema:CreativeWork
    93 sg:pub.10.1007/bf01211866 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052049375
    94 https://doi.org/10.1007/bf01211866
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/bfb0027047 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029345153
    97 https://doi.org/10.1007/bfb0027047
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/s00165-014-0318-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008887375
    100 https://doi.org/10.1007/s00165-014-0318-7
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/s10703-006-0016-z schema:sameAs https://app.dimensions.ai/details/publication/pub.1001422809
    103 https://doi.org/10.1007/s10703-006-0016-z
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/s10703-012-0177-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1047241468
    106 https://doi.org/10.1007/s10703-012-0177-x
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1023/a:1015729400380 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017921028
    109 https://doi.org/10.1023/a:1015729400380
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.1006/jcss.1998.1581 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006940224
    112 rdf:type schema:CreativeWork
    113 https://doi.org/10.1016/j.fss.2014.07.008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052976110
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1093/comjnl/bxp025 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059480012
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1109/21.362956 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061122041
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1109/21.44013 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061122174
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1109/fuzzy.1995.409897 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095244382
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1109/lics.1996.561342 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095346103
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1109/re.2009.36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095533063
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1109/re.2010.25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094311973
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1109/tsmcb.2003.819485 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061796265
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1145/2629606 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020180494
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1145/990010.990011 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000501935
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.12720/ijeee.3.4.256-262 schema:sameAs https://app.dimensions.ai/details/publication/pub.1064634137
    136 rdf:type schema:CreativeWork
    137 https://www.grid.ac/institutes/grid.410413.3 schema:alternateName Graz University of Technology
    138 schema:name Graz University of Technology, Graz, Austria
    139 rdf:type schema:Organization
    140 https://www.grid.ac/institutes/grid.412553.4 schema:alternateName Sharif University of Technology
    141 schema:name Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
    142 rdf:type schema:Organization
    143 https://www.grid.ac/institutes/grid.412573.6 schema:alternateName Shiraz University
    144 schema:name Department of Computer Engineering, Azad University of Shiraz, Shiraz, Iran
    145 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...