Matches in SemOpenAlex for { <https://semopenalex.org/work/W2403117393> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2403117393 endingPage "182" @default.
- W2403117393 startingPage "173" @default.
- W2403117393 abstract "In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented." @default.
- W2403117393 created "2016-06-24" @default.
- W2403117393 creator A5007077278 @default.
- W2403117393 creator A5026251132 @default.
- W2403117393 creator A5059823020 @default.
- W2403117393 date "2004-01-01" @default.
- W2403117393 modified "2023-09-26" @default.
- W2403117393 title "Validation of reactive embedded systems against specification requirements" @default.
- W2403117393 cites W17804537 @default.
- W2403117393 cites W1949723230 @default.
- W2403117393 cites W1988422114 @default.
- W2403117393 cites W2050232108 @default.
- W2403117393 cites W2096101873 @default.
- W2403117393 cites W2124778357 @default.
- W2403117393 cites W2137947851 @default.
- W2403117393 cites W2138450822 @default.
- W2403117393 cites W2142386205 @default.
- W2403117393 cites W2146632811 @default.
- W2403117393 cites W2153275071 @default.
- W2403117393 cites W2169687938 @default.
- W2403117393 doi "https://doi.org/10.17951/ai.2004.2.1.173-182" @default.
- W2403117393 hasPublicationYear "2004" @default.
- W2403117393 type Work @default.
- W2403117393 sameAs 2403117393 @default.
- W2403117393 citedByCount "2" @default.
- W2403117393 crossrefType "journal-article" @default.
- W2403117393 hasAuthorship W2403117393A5007077278 @default.
- W2403117393 hasAuthorship W2403117393A5026251132 @default.
- W2403117393 hasAuthorship W2403117393A5059823020 @default.
- W2403117393 hasConcept C102780508 @default.
- W2403117393 hasConcept C127413603 @default.
- W2403117393 hasConcept C199360897 @default.
- W2403117393 hasConcept C200601418 @default.
- W2403117393 hasConcept C201995342 @default.
- W2403117393 hasConcept C2777904410 @default.
- W2403117393 hasConcept C41008148 @default.
- W2403117393 hasConcept C52913732 @default.
- W2403117393 hasConcept C529173508 @default.
- W2403117393 hasConceptScore W2403117393C102780508 @default.
- W2403117393 hasConceptScore W2403117393C127413603 @default.
- W2403117393 hasConceptScore W2403117393C199360897 @default.
- W2403117393 hasConceptScore W2403117393C200601418 @default.
- W2403117393 hasConceptScore W2403117393C201995342 @default.
- W2403117393 hasConceptScore W2403117393C2777904410 @default.
- W2403117393 hasConceptScore W2403117393C41008148 @default.
- W2403117393 hasConceptScore W2403117393C52913732 @default.
- W2403117393 hasConceptScore W2403117393C529173508 @default.
- W2403117393 hasIssue "1" @default.
- W2403117393 hasLocation W24031173931 @default.
- W2403117393 hasOpenAccess W2403117393 @default.
- W2403117393 hasPrimaryLocation W24031173931 @default.
- W2403117393 hasRelatedWork W1971715114 @default.
- W2403117393 hasRelatedWork W2003258198 @default.
- W2403117393 hasRelatedWork W2009980877 @default.
- W2403117393 hasRelatedWork W2014573220 @default.
- W2403117393 hasRelatedWork W2068896853 @default.
- W2403117393 hasRelatedWork W2084452850 @default.
- W2403117393 hasRelatedWork W2094256369 @default.
- W2403117393 hasRelatedWork W2111226294 @default.
- W2403117393 hasRelatedWork W2129886807 @default.
- W2403117393 hasRelatedWork W2257353559 @default.
- W2403117393 hasRelatedWork W2503948591 @default.
- W2403117393 hasRelatedWork W2537117034 @default.
- W2403117393 hasRelatedWork W2571088864 @default.
- W2403117393 hasRelatedWork W2783400451 @default.
- W2403117393 hasRelatedWork W2917482279 @default.
- W2403117393 hasRelatedWork W3037343876 @default.
- W2403117393 hasRelatedWork W3151277855 @default.
- W2403117393 hasRelatedWork W3158149430 @default.
- W2403117393 hasRelatedWork W2526106663 @default.
- W2403117393 hasRelatedWork W80928506 @default.
- W2403117393 hasVolume "2" @default.
- W2403117393 isParatext "false" @default.
- W2403117393 isRetracted "false" @default.
- W2403117393 magId "2403117393" @default.
- W2403117393 workType "article" @default.