Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138822634> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2138822634 abstract "The paper presents a method for modeling real-time distributed systems and verifying their timing properties. As a modeling tool, communicating real-time state machines (CRSMs) (A.C. Shaw, 1992) are employed with modifications. For a system with a finite number of states, all of the possible execution paths of the system in CRSMs are constructed into a graph called timed reachability graph (TRG). Timing properties of the system are specified in event-based real-time temporal logic (ERL) (H.Y. Chen et al., 1993) and are verified against the timed reachability graph. A verification algorithm is designed. The contribution of the work is the construction of the timed reachability graph and the verification of timing constraints in ERL. >" @default.
- W2138822634 created "2016-06-24" @default.
- W2138822634 creator A5047040085 @default.
- W2138822634 date "2002-12-17" @default.
- W2138822634 modified "2023-09-26" @default.
- W2138822634 title "Timing analysis of real-time distributed systems in CRSM's and ERL" @default.
- W2138822634 cites W1992586213 @default.
- W2138822634 cites W2063555236 @default.
- W2138822634 cites W2100340106 @default.
- W2138822634 cites W2110425399 @default.
- W2138822634 cites W2157739289 @default.
- W2138822634 cites W3144368627 @default.
- W2138822634 doi "https://doi.org/10.1109/spdp.1994.346114" @default.
- W2138822634 hasPublicationYear "2002" @default.
- W2138822634 type Work @default.
- W2138822634 sameAs 2138822634 @default.
- W2138822634 citedByCount "1" @default.
- W2138822634 crossrefType "proceedings-article" @default.
- W2138822634 hasAuthorship W2138822634A5047040085 @default.
- W2138822634 hasConcept C110251889 @default.
- W2138822634 hasConcept C11413529 @default.
- W2138822634 hasConcept C120314980 @default.
- W2138822634 hasConcept C132525143 @default.
- W2138822634 hasConcept C136643341 @default.
- W2138822634 hasConcept C149635348 @default.
- W2138822634 hasConcept C167822520 @default.
- W2138822634 hasConcept C25016198 @default.
- W2138822634 hasConcept C28472234 @default.
- W2138822634 hasConcept C41008148 @default.
- W2138822634 hasConcept C79403827 @default.
- W2138822634 hasConcept C80444323 @default.
- W2138822634 hasConcept C93682380 @default.
- W2138822634 hasConceptScore W2138822634C110251889 @default.
- W2138822634 hasConceptScore W2138822634C11413529 @default.
- W2138822634 hasConceptScore W2138822634C120314980 @default.
- W2138822634 hasConceptScore W2138822634C132525143 @default.
- W2138822634 hasConceptScore W2138822634C136643341 @default.
- W2138822634 hasConceptScore W2138822634C149635348 @default.
- W2138822634 hasConceptScore W2138822634C167822520 @default.
- W2138822634 hasConceptScore W2138822634C25016198 @default.
- W2138822634 hasConceptScore W2138822634C28472234 @default.
- W2138822634 hasConceptScore W2138822634C41008148 @default.
- W2138822634 hasConceptScore W2138822634C79403827 @default.
- W2138822634 hasConceptScore W2138822634C80444323 @default.
- W2138822634 hasConceptScore W2138822634C93682380 @default.
- W2138822634 hasLocation W21388226341 @default.
- W2138822634 hasOpenAccess W2138822634 @default.
- W2138822634 hasPrimaryLocation W21388226341 @default.
- W2138822634 hasRelatedWork W130102441 @default.
- W2138822634 hasRelatedWork W1489220439 @default.
- W2138822634 hasRelatedWork W1560431517 @default.
- W2138822634 hasRelatedWork W1592102986 @default.
- W2138822634 hasRelatedWork W1593185391 @default.
- W2138822634 hasRelatedWork W1606290697 @default.
- W2138822634 hasRelatedWork W1971445875 @default.
- W2138822634 hasRelatedWork W2023499821 @default.
- W2138822634 hasRelatedWork W2124563781 @default.
- W2138822634 hasRelatedWork W2141648577 @default.
- W2138822634 hasRelatedWork W2158931957 @default.
- W2138822634 hasRelatedWork W2163212148 @default.
- W2138822634 hasRelatedWork W2171024512 @default.
- W2138822634 hasRelatedWork W2517343942 @default.
- W2138822634 hasRelatedWork W2613829783 @default.
- W2138822634 hasRelatedWork W2738298173 @default.
- W2138822634 hasRelatedWork W2782719117 @default.
- W2138822634 hasRelatedWork W300556713 @default.
- W2138822634 hasRelatedWork W35655637 @default.
- W2138822634 hasRelatedWork W73417870 @default.
- W2138822634 isParatext "false" @default.
- W2138822634 isRetracted "false" @default.
- W2138822634 magId "2138822634" @default.
- W2138822634 workType "article" @default.