Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010339903> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2010339903 endingPage "32" @default.
- W2010339903 startingPage "4" @default.
- W2010339903 abstract "This paper presents a new model, which is named Timed Communicating State Machine (TCSM), for specifying protocols that incorporate timed properties as part of their specifications. The TCSM model is similar to the Extended Communicating Finite State Machine (ECFSM) model. The major extension is providing an additional mechanism, i.e., a time interval attribute, for describing the timed properties. We also propose the corresponding formal TCSM-based timed verification scheme, i.e., a new timed global state reachability analysis. In the new timed global state reachability analysis, the exploration is decided by the predicate, the time relationships, and/or the input event. Using the TCSM model and the timed verification scheme, an Estelle-based Timed Protocol Verification System (ETPVS) has been developed on SUN SPARC workstations. In this way, timed protocols can be formally specified in Estelle and can also be verified using ETPVS." @default.
- W2010339903 created "2016-06-24" @default.
- W2010339903 creator A5023916855 @default.
- W2010339903 creator A5028083922 @default.
- W2010339903 date "1995-07-01" @default.
- W2010339903 modified "2023-10-14" @default.
- W2010339903 title "Timed protocol verification for Estelle-specified protocols" @default.
- W2010339903 cites W1979040956 @default.
- W2010339903 cites W1983536891 @default.
- W2010339903 cites W1994564174 @default.
- W2010339903 cites W2006732692 @default.
- W2010339903 cites W2016457827 @default.
- W2010339903 cites W2023949272 @default.
- W2010339903 cites W2025970201 @default.
- W2010339903 cites W2033772621 @default.
- W2010339903 cites W2050887876 @default.
- W2010339903 cites W2054409309 @default.
- W2010339903 cites W2058284966 @default.
- W2010339903 cites W2060882299 @default.
- W2010339903 cites W2069245149 @default.
- W2010339903 cites W2070568863 @default.
- W2010339903 cites W2089870053 @default.
- W2010339903 cites W2100340106 @default.
- W2010339903 cites W2120601740 @default.
- W2010339903 cites W2121372686 @default.
- W2010339903 cites W2186866584 @default.
- W2010339903 cites W4255875934 @default.
- W2010339903 doi "https://doi.org/10.1145/214299.214300" @default.
- W2010339903 hasPublicationYear "1995" @default.
- W2010339903 type Work @default.
- W2010339903 sameAs 2010339903 @default.
- W2010339903 citedByCount "8" @default.
- W2010339903 crossrefType "journal-article" @default.
- W2010339903 hasAuthorship W2010339903A5023916855 @default.
- W2010339903 hasAuthorship W2010339903A5028083922 @default.
- W2010339903 hasConcept C110251889 @default.
- W2010339903 hasConcept C111498074 @default.
- W2010339903 hasConcept C120314980 @default.
- W2010339903 hasConcept C134306372 @default.
- W2010339903 hasConcept C136643341 @default.
- W2010339903 hasConcept C140146324 @default.
- W2010339903 hasConcept C142724271 @default.
- W2010339903 hasConcept C145243422 @default.
- W2010339903 hasConcept C167822520 @default.
- W2010339903 hasConcept C199360897 @default.
- W2010339903 hasConcept C204787440 @default.
- W2010339903 hasConcept C2780385302 @default.
- W2010339903 hasConcept C33923547 @default.
- W2010339903 hasConcept C41008148 @default.
- W2010339903 hasConcept C48103436 @default.
- W2010339903 hasConcept C71924100 @default.
- W2010339903 hasConcept C77618280 @default.
- W2010339903 hasConcept C80444323 @default.
- W2010339903 hasConceptScore W2010339903C110251889 @default.
- W2010339903 hasConceptScore W2010339903C111498074 @default.
- W2010339903 hasConceptScore W2010339903C120314980 @default.
- W2010339903 hasConceptScore W2010339903C134306372 @default.
- W2010339903 hasConceptScore W2010339903C136643341 @default.
- W2010339903 hasConceptScore W2010339903C140146324 @default.
- W2010339903 hasConceptScore W2010339903C142724271 @default.
- W2010339903 hasConceptScore W2010339903C145243422 @default.
- W2010339903 hasConceptScore W2010339903C167822520 @default.
- W2010339903 hasConceptScore W2010339903C199360897 @default.
- W2010339903 hasConceptScore W2010339903C204787440 @default.
- W2010339903 hasConceptScore W2010339903C2780385302 @default.
- W2010339903 hasConceptScore W2010339903C33923547 @default.
- W2010339903 hasConceptScore W2010339903C41008148 @default.
- W2010339903 hasConceptScore W2010339903C48103436 @default.
- W2010339903 hasConceptScore W2010339903C71924100 @default.
- W2010339903 hasConceptScore W2010339903C77618280 @default.
- W2010339903 hasConceptScore W2010339903C80444323 @default.
- W2010339903 hasIssue "3" @default.
- W2010339903 hasLocation W20103399031 @default.
- W2010339903 hasOpenAccess W2010339903 @default.
- W2010339903 hasPrimaryLocation W20103399031 @default.
- W2010339903 hasRelatedWork W1592393183 @default.
- W2010339903 hasRelatedWork W2010339903 @default.
- W2010339903 hasRelatedWork W2098765445 @default.
- W2010339903 hasRelatedWork W2101345254 @default.
- W2010339903 hasRelatedWork W2120254441 @default.
- W2010339903 hasRelatedWork W2165214723 @default.
- W2010339903 hasRelatedWork W2188625294 @default.
- W2010339903 hasRelatedWork W2370841479 @default.
- W2010339903 hasRelatedWork W2535491964 @default.
- W2010339903 hasRelatedWork W2955892663 @default.
- W2010339903 hasVolume "25" @default.
- W2010339903 isParatext "false" @default.
- W2010339903 isRetracted "false" @default.
- W2010339903 magId "2010339903" @default.
- W2010339903 workType "article" @default.