Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070568863> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2070568863 endingPage "233" @default.
- W2070568863 startingPage "233" @default.
- W2070568863 abstract "A communication protocol is a set of rules that govern interactions and co-ordination among communicating entities in distributed systems and computer networks. Therefore, deriving error-free protocols is crucial to ensure reliable distributed systems and computer networks. A protocol verification software tool to design error-free protocols is presented. The Extended Communicating Finite State Machine (ECFSM) model, which belongs to the state transition model, is widely used to formally specify protocols with context variables and predicates. Global state reachability analysis is one of the most straightforward ways to verify communication protocols specified in the state transition model. By modifying a CFSM-based reduction technique to be ECFSM-based, then integrating with an ECFSM-based reduction technique, a new protocol verification technique for ECFSM-based n-entity protocols is proposed. The integrated ECFSM-based verification technique can be directly applied to ISO's Estelle, which is an ECFSM-based Formal Description Technique (FDT). With this technique, an Integrated FDT-based Protocol Verification System (IFPVS) is developed, which consists of an Estelle translator, a global state analyser, and a graphic user interface." @default.
- W2070568863 created "2016-06-24" @default.
- W2070568863 creator A5001719816 @default.
- W2070568863 creator A5023916855 @default.
- W2070568863 creator A5041828442 @default.
- W2070568863 creator A5088567891 @default.
- W2070568863 date "1995-01-01" @default.
- W2070568863 modified "2023-09-27" @default.
- W2070568863 title "Integrated FDT-based protocol verification system" @default.
- W2070568863 cites W4236963133 @default.
- W2070568863 cites W4255875934 @default.
- W2070568863 doi "https://doi.org/10.1049/sej.1995.0028" @default.
- W2070568863 hasPublicationYear "1995" @default.
- W2070568863 type Work @default.
- W2070568863 sameAs 2070568863 @default.
- W2070568863 citedByCount "2" @default.
- W2070568863 countsByYear W20705688632023 @default.
- W2070568863 crossrefType "journal-article" @default.
- W2070568863 hasAuthorship W2070568863A5001719816 @default.
- W2070568863 hasAuthorship W2070568863A5023916855 @default.
- W2070568863 hasAuthorship W2070568863A5041828442 @default.
- W2070568863 hasAuthorship W2070568863A5088567891 @default.
- W2070568863 hasConcept C110251889 @default.
- W2070568863 hasConcept C111335779 @default.
- W2070568863 hasConcept C111498074 @default.
- W2070568863 hasConcept C111919701 @default.
- W2070568863 hasConcept C113843644 @default.
- W2070568863 hasConcept C120314980 @default.
- W2070568863 hasConcept C12269588 @default.
- W2070568863 hasConcept C129307140 @default.
- W2070568863 hasConcept C136643341 @default.
- W2070568863 hasConcept C142724271 @default.
- W2070568863 hasConcept C151730666 @default.
- W2070568863 hasConcept C157915830 @default.
- W2070568863 hasConcept C167822520 @default.
- W2070568863 hasConcept C177264268 @default.
- W2070568863 hasConcept C199360897 @default.
- W2070568863 hasConcept C204787440 @default.
- W2070568863 hasConcept C2524010 @default.
- W2070568863 hasConcept C2779343474 @default.
- W2070568863 hasConcept C2780385302 @default.
- W2070568863 hasConcept C31258907 @default.
- W2070568863 hasConcept C33923547 @default.
- W2070568863 hasConcept C41008148 @default.
- W2070568863 hasConcept C48103436 @default.
- W2070568863 hasConcept C71924100 @default.
- W2070568863 hasConcept C80444323 @default.
- W2070568863 hasConcept C86803240 @default.
- W2070568863 hasConceptScore W2070568863C110251889 @default.
- W2070568863 hasConceptScore W2070568863C111335779 @default.
- W2070568863 hasConceptScore W2070568863C111498074 @default.
- W2070568863 hasConceptScore W2070568863C111919701 @default.
- W2070568863 hasConceptScore W2070568863C113843644 @default.
- W2070568863 hasConceptScore W2070568863C120314980 @default.
- W2070568863 hasConceptScore W2070568863C12269588 @default.
- W2070568863 hasConceptScore W2070568863C129307140 @default.
- W2070568863 hasConceptScore W2070568863C136643341 @default.
- W2070568863 hasConceptScore W2070568863C142724271 @default.
- W2070568863 hasConceptScore W2070568863C151730666 @default.
- W2070568863 hasConceptScore W2070568863C157915830 @default.
- W2070568863 hasConceptScore W2070568863C167822520 @default.
- W2070568863 hasConceptScore W2070568863C177264268 @default.
- W2070568863 hasConceptScore W2070568863C199360897 @default.
- W2070568863 hasConceptScore W2070568863C204787440 @default.
- W2070568863 hasConceptScore W2070568863C2524010 @default.
- W2070568863 hasConceptScore W2070568863C2779343474 @default.
- W2070568863 hasConceptScore W2070568863C2780385302 @default.
- W2070568863 hasConceptScore W2070568863C31258907 @default.
- W2070568863 hasConceptScore W2070568863C33923547 @default.
- W2070568863 hasConceptScore W2070568863C41008148 @default.
- W2070568863 hasConceptScore W2070568863C48103436 @default.
- W2070568863 hasConceptScore W2070568863C71924100 @default.
- W2070568863 hasConceptScore W2070568863C80444323 @default.
- W2070568863 hasConceptScore W2070568863C86803240 @default.
- W2070568863 hasIssue "6" @default.
- W2070568863 hasLocation W20705688631 @default.
- W2070568863 hasOpenAccess W2070568863 @default.
- W2070568863 hasPrimaryLocation W20705688631 @default.
- W2070568863 hasRelatedWork W1979040956 @default.
- W2070568863 hasRelatedWork W2067403477 @default.
- W2070568863 hasRelatedWork W2070568863 @default.
- W2070568863 hasRelatedWork W2133699088 @default.
- W2070568863 hasRelatedWork W2133953358 @default.
- W2070568863 hasRelatedWork W2148024906 @default.
- W2070568863 hasRelatedWork W2370841479 @default.
- W2070568863 hasRelatedWork W2535491964 @default.
- W2070568863 hasRelatedWork W2540967657 @default.
- W2070568863 hasRelatedWork W2955892663 @default.
- W2070568863 hasVolume "10" @default.
- W2070568863 isParatext "false" @default.
- W2070568863 isRetracted "false" @default.
- W2070568863 magId "2070568863" @default.
- W2070568863 workType "article" @default.