Matches in SemOpenAlex for { <https://semopenalex.org/work/W2177779225> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2177779225 abstract "Fuzzy Labeled Transition Refinement Tree (FLTRT) is a rigorous refinement model which supports abstraction and handling incomplete information and by the way reducing complexity of refinement process. It is based on Fuzzy Labeled Transition System (FLTS) which is a generalization of well-known Labeled Transition System, enhanced by fuzziness facility. The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. In this paper, we study bisimulation relations on FLTSs which are categorized into two classes: horizontal and vertical bisimulation relations. The former class aims to identify equivalent specifications of the same abstraction level. However, the second one relates specifications that belong conceptually to different abstraction levels. Vertical bisimulation relation aims to check correctness of a given implementation with respect to its initial specification. FLTRT structure preserves the vertical bisimulation relation." @default.
- W2177779225 created "2016-06-24" @default.
- W2177779225 creator A5049138044 @default.
- W2177779225 creator A5058004291 @default.
- W2177779225 creator A5081167604 @default.
- W2177779225 date "2015-09-01" @default.
- W2177779225 modified "2023-10-06" @default.
- W2177779225 title "Fuzzy labeled transition system vertical bisimulation" @default.
- W2177779225 cites W1503973138 @default.
- W2177779225 cites W1568323880 @default.
- W2177779225 cites W1724419839 @default.
- W2177779225 cites W1826209129 @default.
- W2177779225 cites W2000947342 @default.
- W2177779225 cites W2023499821 @default.
- W2177779225 cites W2055173997 @default.
- W2177779225 cites W2063916415 @default.
- W2177779225 cites W2124325155 @default.
- W2177779225 cites W2128108987 @default.
- W2177779225 cites W2164434816 @default.
- W2177779225 cites W2914320554 @default.
- W2177779225 cites W3146856574 @default.
- W2177779225 cites W816373302 @default.
- W2177779225 doi "https://doi.org/10.1109/icsess.2015.7339064" @default.
- W2177779225 hasPublicationYear "2015" @default.
- W2177779225 type Work @default.
- W2177779225 sameAs 2177779225 @default.
- W2177779225 citedByCount "1" @default.
- W2177779225 countsByYear W21777792252016 @default.
- W2177779225 crossrefType "proceedings-article" @default.
- W2177779225 hasAuthorship W2177779225A5049138044 @default.
- W2177779225 hasAuthorship W2177779225A5058004291 @default.
- W2177779225 hasAuthorship W2177779225A5081167604 @default.
- W2177779225 hasConcept C111472728 @default.
- W2177779225 hasConcept C113174947 @default.
- W2177779225 hasConcept C11413529 @default.
- W2177779225 hasConcept C114614502 @default.
- W2177779225 hasConcept C124101348 @default.
- W2177779225 hasConcept C124304363 @default.
- W2177779225 hasConcept C134306372 @default.
- W2177779225 hasConcept C135315306 @default.
- W2177779225 hasConcept C138885662 @default.
- W2177779225 hasConcept C154945302 @default.
- W2177779225 hasConcept C177148314 @default.
- W2177779225 hasConcept C199360897 @default.
- W2177779225 hasConcept C25343380 @default.
- W2177779225 hasConcept C2779167558 @default.
- W2177779225 hasConcept C33923547 @default.
- W2177779225 hasConcept C41008148 @default.
- W2177779225 hasConcept C55439883 @default.
- W2177779225 hasConcept C58166 @default.
- W2177779225 hasConcept C80444323 @default.
- W2177779225 hasConceptScore W2177779225C111472728 @default.
- W2177779225 hasConceptScore W2177779225C113174947 @default.
- W2177779225 hasConceptScore W2177779225C11413529 @default.
- W2177779225 hasConceptScore W2177779225C114614502 @default.
- W2177779225 hasConceptScore W2177779225C124101348 @default.
- W2177779225 hasConceptScore W2177779225C124304363 @default.
- W2177779225 hasConceptScore W2177779225C134306372 @default.
- W2177779225 hasConceptScore W2177779225C135315306 @default.
- W2177779225 hasConceptScore W2177779225C138885662 @default.
- W2177779225 hasConceptScore W2177779225C154945302 @default.
- W2177779225 hasConceptScore W2177779225C177148314 @default.
- W2177779225 hasConceptScore W2177779225C199360897 @default.
- W2177779225 hasConceptScore W2177779225C25343380 @default.
- W2177779225 hasConceptScore W2177779225C2779167558 @default.
- W2177779225 hasConceptScore W2177779225C33923547 @default.
- W2177779225 hasConceptScore W2177779225C41008148 @default.
- W2177779225 hasConceptScore W2177779225C55439883 @default.
- W2177779225 hasConceptScore W2177779225C58166 @default.
- W2177779225 hasConceptScore W2177779225C80444323 @default.
- W2177779225 hasLocation W21777792251 @default.
- W2177779225 hasOpenAccess W2177779225 @default.
- W2177779225 hasPrimaryLocation W21777792251 @default.
- W2177779225 hasRelatedWork W1507160831 @default.
- W2177779225 hasRelatedWork W1570257136 @default.
- W2177779225 hasRelatedWork W1977555802 @default.
- W2177779225 hasRelatedWork W1992329938 @default.
- W2177779225 hasRelatedWork W2031016532 @default.
- W2177779225 hasRelatedWork W2088892644 @default.
- W2177779225 hasRelatedWork W2126519460 @default.
- W2177779225 hasRelatedWork W2145454356 @default.
- W2177779225 hasRelatedWork W2169984362 @default.
- W2177779225 hasRelatedWork W2171881435 @default.
- W2177779225 hasRelatedWork W2186273310 @default.
- W2177779225 hasRelatedWork W2296604987 @default.
- W2177779225 hasRelatedWork W2330589374 @default.
- W2177779225 hasRelatedWork W2760372412 @default.
- W2177779225 hasRelatedWork W2801388205 @default.
- W2177779225 hasRelatedWork W2883614318 @default.
- W2177779225 hasRelatedWork W2914320554 @default.
- W2177779225 hasRelatedWork W2959774828 @default.
- W2177779225 hasRelatedWork W2995181781 @default.
- W2177779225 hasRelatedWork W3210775325 @default.
- W2177779225 isParatext "false" @default.
- W2177779225 isRetracted "false" @default.
- W2177779225 magId "2177779225" @default.
- W2177779225 workType "article" @default.