Matches in SemOpenAlex for { <https://semopenalex.org/work/W2391844900> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2391844900 abstract "In this paper,in order to make property sequence chart have timed expressiveness,the property sequence chart is extended into a timed property sequence chart that gives the semantics of the timed property sequence chart in terms of timed Buchi automaton.Then,the expressive power of timed property sequence chart is measured with the use of a recently proposed real-time specification pattern.Finally,the use of timed property sequence chart is illustrated in a case study,which shows the extensive application prospect of a timed property sequence chart in real-time system." @default.
- W2391844900 created "2016-06-24" @default.
- W2391844900 creator A5003677173 @default.
- W2391844900 date "2010-01-01" @default.
- W2391844900 modified "2023-09-25" @default.
- W2391844900 title "Syntax and Semantics of Timed Property Sequence Chart" @default.
- W2391844900 hasPublicationYear "2010" @default.
- W2391844900 type Work @default.
- W2391844900 sameAs 2391844900 @default.
- W2391844900 citedByCount "1" @default.
- W2391844900 countsByYear W23918449002015 @default.
- W2391844900 crossrefType "journal-article" @default.
- W2391844900 hasAuthorship W2391844900A5003677173 @default.
- W2391844900 hasConcept C105795698 @default.
- W2391844900 hasConcept C111472728 @default.
- W2391844900 hasConcept C112505250 @default.
- W2391844900 hasConcept C11413529 @default.
- W2391844900 hasConcept C138885662 @default.
- W2391844900 hasConcept C184337299 @default.
- W2391844900 hasConcept C189950617 @default.
- W2391844900 hasConcept C190812933 @default.
- W2391844900 hasConcept C195818886 @default.
- W2391844900 hasConcept C199360897 @default.
- W2391844900 hasConcept C204321447 @default.
- W2391844900 hasConcept C2777904410 @default.
- W2391844900 hasConcept C2778112365 @default.
- W2391844900 hasConcept C33923547 @default.
- W2391844900 hasConcept C41008148 @default.
- W2391844900 hasConcept C52913732 @default.
- W2391844900 hasConcept C529173508 @default.
- W2391844900 hasConcept C54355233 @default.
- W2391844900 hasConcept C60048249 @default.
- W2391844900 hasConcept C80444323 @default.
- W2391844900 hasConcept C86803240 @default.
- W2391844900 hasConcept C97960799 @default.
- W2391844900 hasConceptScore W2391844900C105795698 @default.
- W2391844900 hasConceptScore W2391844900C111472728 @default.
- W2391844900 hasConceptScore W2391844900C112505250 @default.
- W2391844900 hasConceptScore W2391844900C11413529 @default.
- W2391844900 hasConceptScore W2391844900C138885662 @default.
- W2391844900 hasConceptScore W2391844900C184337299 @default.
- W2391844900 hasConceptScore W2391844900C189950617 @default.
- W2391844900 hasConceptScore W2391844900C190812933 @default.
- W2391844900 hasConceptScore W2391844900C195818886 @default.
- W2391844900 hasConceptScore W2391844900C199360897 @default.
- W2391844900 hasConceptScore W2391844900C204321447 @default.
- W2391844900 hasConceptScore W2391844900C2777904410 @default.
- W2391844900 hasConceptScore W2391844900C2778112365 @default.
- W2391844900 hasConceptScore W2391844900C33923547 @default.
- W2391844900 hasConceptScore W2391844900C41008148 @default.
- W2391844900 hasConceptScore W2391844900C52913732 @default.
- W2391844900 hasConceptScore W2391844900C529173508 @default.
- W2391844900 hasConceptScore W2391844900C54355233 @default.
- W2391844900 hasConceptScore W2391844900C60048249 @default.
- W2391844900 hasConceptScore W2391844900C80444323 @default.
- W2391844900 hasConceptScore W2391844900C86803240 @default.
- W2391844900 hasConceptScore W2391844900C97960799 @default.
- W2391844900 hasLocation W23918449001 @default.
- W2391844900 hasOpenAccess W2391844900 @default.
- W2391844900 hasPrimaryLocation W23918449001 @default.
- W2391844900 hasRelatedWork W1503682071 @default.
- W2391844900 hasRelatedWork W1507081797 @default.
- W2391844900 hasRelatedWork W1552826644 @default.
- W2391844900 hasRelatedWork W1560431517 @default.
- W2391844900 hasRelatedWork W1571606103 @default.
- W2391844900 hasRelatedWork W1601091540 @default.
- W2391844900 hasRelatedWork W1605803016 @default.
- W2391844900 hasRelatedWork W1755579963 @default.
- W2391844900 hasRelatedWork W1826754619 @default.
- W2391844900 hasRelatedWork W2031124488 @default.
- W2391844900 hasRelatedWork W2041810818 @default.
- W2391844900 hasRelatedWork W2061462992 @default.
- W2391844900 hasRelatedWork W2096544406 @default.
- W2391844900 hasRelatedWork W2183828518 @default.
- W2391844900 hasRelatedWork W2371577031 @default.
- W2391844900 hasRelatedWork W2539319794 @default.
- W2391844900 hasRelatedWork W2746615638 @default.
- W2391844900 hasRelatedWork W2883837673 @default.
- W2391844900 hasRelatedWork W2888608181 @default.
- W2391844900 hasRelatedWork W2913156963 @default.
- W2391844900 isParatext "false" @default.
- W2391844900 isRetracted "false" @default.
- W2391844900 magId "2391844900" @default.
- W2391844900 workType "article" @default.