Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971445875> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1971445875 endingPage "14" @default.
- W1971445875 startingPage "1" @default.
- W1971445875 abstract "A verification system of asynchronous real-time software including timing constraints, which supports both model-checking algorithms and language inclusion algorithms, does not exist. In a language inclusion algorithm, verification specification is described by a timed automaton from the standpoint of both states and behaviors. On the other hand, in a model-checking algorithm, verification specification is described by real-time temporal logic from the standpoint of state relation. It is necessary to specify verification property by both timed automaton and real-time temporal logic. A hybrid verification method, which supports both verification methods, is proposed here. In order to realize it, a timed Kripke structure is generated from timed automaton through an augmented region graph. The method is shown to be effective using the example of a clock problem." @default.
- W1971445875 created "2016-06-24" @default.
- W1971445875 creator A5003753318 @default.
- W1971445875 date "1996-01-01" @default.
- W1971445875 modified "2023-09-24" @default.
- W1971445875 title "Proposal of hybrid verification method in asynchronous real-time software including timing constraints specification" @default.
- W1971445875 cites W1594971226 @default.
- W1971445875 cites W2040127143 @default.
- W1971445875 cites W2059862967 @default.
- W1971445875 cites W2118382442 @default.
- W1971445875 cites W2153439859 @default.
- W1971445875 doi "https://doi.org/10.1002/scj.4690270501" @default.
- W1971445875 hasPublicationYear "1996" @default.
- W1971445875 type Work @default.
- W1971445875 sameAs 1971445875 @default.
- W1971445875 citedByCount "1" @default.
- W1971445875 crossrefType "journal-article" @default.
- W1971445875 hasAuthorship W1971445875A5003753318 @default.
- W1971445875 hasConcept C110251889 @default.
- W1971445875 hasConcept C111498074 @default.
- W1971445875 hasConcept C112505250 @default.
- W1971445875 hasConcept C11413529 @default.
- W1971445875 hasConcept C149091818 @default.
- W1971445875 hasConcept C151319957 @default.
- W1971445875 hasConcept C165753454 @default.
- W1971445875 hasConcept C186846655 @default.
- W1971445875 hasConcept C187250869 @default.
- W1971445875 hasConcept C194525867 @default.
- W1971445875 hasConcept C198008173 @default.
- W1971445875 hasConcept C199360897 @default.
- W1971445875 hasConcept C202973057 @default.
- W1971445875 hasConcept C25016198 @default.
- W1971445875 hasConcept C2777904410 @default.
- W1971445875 hasConcept C30788636 @default.
- W1971445875 hasConcept C31258907 @default.
- W1971445875 hasConcept C41008148 @default.
- W1971445875 hasConcept C80444323 @default.
- W1971445875 hasConceptScore W1971445875C110251889 @default.
- W1971445875 hasConceptScore W1971445875C111498074 @default.
- W1971445875 hasConceptScore W1971445875C112505250 @default.
- W1971445875 hasConceptScore W1971445875C11413529 @default.
- W1971445875 hasConceptScore W1971445875C149091818 @default.
- W1971445875 hasConceptScore W1971445875C151319957 @default.
- W1971445875 hasConceptScore W1971445875C165753454 @default.
- W1971445875 hasConceptScore W1971445875C186846655 @default.
- W1971445875 hasConceptScore W1971445875C187250869 @default.
- W1971445875 hasConceptScore W1971445875C194525867 @default.
- W1971445875 hasConceptScore W1971445875C198008173 @default.
- W1971445875 hasConceptScore W1971445875C199360897 @default.
- W1971445875 hasConceptScore W1971445875C202973057 @default.
- W1971445875 hasConceptScore W1971445875C25016198 @default.
- W1971445875 hasConceptScore W1971445875C2777904410 @default.
- W1971445875 hasConceptScore W1971445875C30788636 @default.
- W1971445875 hasConceptScore W1971445875C31258907 @default.
- W1971445875 hasConceptScore W1971445875C41008148 @default.
- W1971445875 hasConceptScore W1971445875C80444323 @default.
- W1971445875 hasIssue "5" @default.
- W1971445875 hasLocation W19714458751 @default.
- W1971445875 hasOpenAccess W1971445875 @default.
- W1971445875 hasPrimaryLocation W19714458751 @default.
- W1971445875 hasRelatedWork W117556101 @default.
- W1971445875 hasRelatedWork W1527462432 @default.
- W1971445875 hasRelatedWork W1832926089 @default.
- W1971445875 hasRelatedWork W1941386016 @default.
- W1971445875 hasRelatedWork W1971445875 @default.
- W1971445875 hasRelatedWork W2028637393 @default.
- W1971445875 hasRelatedWork W2371577031 @default.
- W1971445875 hasRelatedWork W3192691254 @default.
- W1971445875 hasRelatedWork W4206107994 @default.
- W1971445875 hasRelatedWork W4313193894 @default.
- W1971445875 hasVolume "27" @default.
- W1971445875 isParatext "false" @default.
- W1971445875 isRetracted "false" @default.
- W1971445875 magId "1971445875" @default.
- W1971445875 workType "article" @default.