Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099184371> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2099184371 endingPage "171" @default.
- W2099184371 startingPage "163" @default.
- W2099184371 abstract "Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. However, a model is only an approximation of its realization in terms of the issuing time of events. Therefore, a real-time property verified in the model can not always be directly transferred to the realization. In this paper, both the model and the realization are viewed as sets of timed state sequences. In this context, we first investigate the real-time property preservation between two timed state sequences (execution traces of timed systems), and then extend the results to two neighboring timed systems. The study of real-time property preservation gives insight in building a formal link between real-time properties satisfied in the model and those in the realization." @default.
- W2099184371 created "2016-06-24" @default.
- W2099184371 creator A5023484380 @default.
- W2099184371 creator A5088330531 @default.
- W2099184371 creator A5089102308 @default.
- W2099184371 date "2003-06-24" @default.
- W2099184371 modified "2023-10-05" @default.
- W2099184371 title "Real-time property preservation in approximations of timed systems" @default.
- W2099184371 cites W1484364085 @default.
- W2099184371 cites W1720140439 @default.
- W2099184371 cites W1885037678 @default.
- W2099184371 cites W1986184086 @default.
- W2099184371 cites W1988551846 @default.
- W2099184371 cites W2011437720 @default.
- W2099184371 cites W2048355938 @default.
- W2099184371 cites W2049696538 @default.
- W2099184371 cites W2101508170 @default.
- W2099184371 cites W2117189826 @default.
- W2099184371 cites W2153439859 @default.
- W2099184371 cites W2170136168 @default.
- W2099184371 cites W99531190 @default.
- W2099184371 cites W2786941376 @default.
- W2099184371 doi "https://doi.org/10.5555/823453.823842" @default.
- W2099184371 hasPublicationYear "2003" @default.
- W2099184371 type Work @default.
- W2099184371 sameAs 2099184371 @default.
- W2099184371 citedByCount "20" @default.
- W2099184371 countsByYear W20991843712013 @default.
- W2099184371 countsByYear W20991843712018 @default.
- W2099184371 crossrefType "proceedings-article" @default.
- W2099184371 hasAuthorship W2099184371A5023484380 @default.
- W2099184371 hasAuthorship W2099184371A5088330531 @default.
- W2099184371 hasAuthorship W2099184371A5089102308 @default.
- W2099184371 hasConcept C105795698 @default.
- W2099184371 hasConcept C110251889 @default.
- W2099184371 hasConcept C111472728 @default.
- W2099184371 hasConcept C111498074 @default.
- W2099184371 hasConcept C11413529 @default.
- W2099184371 hasConcept C138885662 @default.
- W2099184371 hasConcept C151730666 @default.
- W2099184371 hasConcept C189950617 @default.
- W2099184371 hasConcept C2779343474 @default.
- W2099184371 hasConcept C2781089630 @default.
- W2099184371 hasConcept C33923547 @default.
- W2099184371 hasConcept C41008148 @default.
- W2099184371 hasConcept C48103436 @default.
- W2099184371 hasConcept C79403827 @default.
- W2099184371 hasConcept C80444323 @default.
- W2099184371 hasConcept C86803240 @default.
- W2099184371 hasConceptScore W2099184371C105795698 @default.
- W2099184371 hasConceptScore W2099184371C110251889 @default.
- W2099184371 hasConceptScore W2099184371C111472728 @default.
- W2099184371 hasConceptScore W2099184371C111498074 @default.
- W2099184371 hasConceptScore W2099184371C11413529 @default.
- W2099184371 hasConceptScore W2099184371C138885662 @default.
- W2099184371 hasConceptScore W2099184371C151730666 @default.
- W2099184371 hasConceptScore W2099184371C189950617 @default.
- W2099184371 hasConceptScore W2099184371C2779343474 @default.
- W2099184371 hasConceptScore W2099184371C2781089630 @default.
- W2099184371 hasConceptScore W2099184371C33923547 @default.
- W2099184371 hasConceptScore W2099184371C41008148 @default.
- W2099184371 hasConceptScore W2099184371C48103436 @default.
- W2099184371 hasConceptScore W2099184371C79403827 @default.
- W2099184371 hasConceptScore W2099184371C80444323 @default.
- W2099184371 hasConceptScore W2099184371C86803240 @default.
- W2099184371 hasLocation W20991843711 @default.
- W2099184371 hasOpenAccess W2099184371 @default.
- W2099184371 hasPrimaryLocation W20991843711 @default.
- W2099184371 hasRelatedWork W1484364085 @default.
- W2099184371 hasRelatedWork W1503973138 @default.
- W2099184371 hasRelatedWork W1517942155 @default.
- W2099184371 hasRelatedWork W156937114 @default.
- W2099184371 hasRelatedWork W1586805319 @default.
- W2099184371 hasRelatedWork W1587275578 @default.
- W2099184371 hasRelatedWork W1840342701 @default.
- W2099184371 hasRelatedWork W2011437720 @default.
- W2099184371 hasRelatedWork W2026629052 @default.
- W2099184371 hasRelatedWork W2049696538 @default.
- W2099184371 hasRelatedWork W2095788213 @default.
- W2099184371 hasRelatedWork W2096903155 @default.
- W2099184371 hasRelatedWork W2098871589 @default.
- W2099184371 hasRelatedWork W2101508170 @default.
- W2099184371 hasRelatedWork W2103222795 @default.
- W2099184371 hasRelatedWork W2112612768 @default.
- W2099184371 hasRelatedWork W2137784941 @default.
- W2099184371 hasRelatedWork W2153075550 @default.
- W2099184371 hasRelatedWork W28023262 @default.
- W2099184371 hasRelatedWork W99531190 @default.
- W2099184371 isParatext "false" @default.
- W2099184371 isRetracted "false" @default.
- W2099184371 magId "2099184371" @default.
- W2099184371 workType "article" @default.