Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141988805> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2141988805 abstract "ASTRAL is a high-level formal specification language for real-time systems. It has structuring mechanisms that allow one to build modularized specifications of complex real-time systems with layering. Based upon the ASTRAL symbolic model checler reported in [13], three approximation techniques to speed-up the model checking process for use in debugging a specification are presented. The techniques are random walk, partial image and dynamic environment generation. Ten mutation tests on a railroad crossing benchmark are used to compare the performance of the techniques applied separately and in combination. The test results are presented and analyzed." @default.
- W2141988805 created "2016-06-24" @default.
- W2141988805 creator A5040068875 @default.
- W2141988805 creator A5045603537 @default.
- W2141988805 date "2000-01-01" @default.
- W2141988805 modified "2023-10-11" @default.
- W2141988805 title "Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems" @default.
- W2141988805 cites W1521410408 @default.
- W2141988805 cites W1543897761 @default.
- W2141988805 cites W1575118279 @default.
- W2141988805 cites W1665486856 @default.
- W2141988805 cites W1777025722 @default.
- W2141988805 cites W1825903259 @default.
- W2141988805 cites W1965765860 @default.
- W2141988805 cites W1995151557 @default.
- W2141988805 cites W2018507204 @default.
- W2141988805 cites W2039292268 @default.
- W2141988805 cites W2054450126 @default.
- W2141988805 cites W2065675749 @default.
- W2141988805 cites W2071676804 @default.
- W2141988805 cites W2080197817 @default.
- W2141988805 cites W2088063715 @default.
- W2141988805 cites W2097699872 @default.
- W2141988805 cites W2125617568 @default.
- W2141988805 cites W2129335898 @default.
- W2141988805 cites W2132331020 @default.
- W2141988805 cites W2171934242 @default.
- W2141988805 cites W2655063184 @default.
- W2141988805 cites W3092402039 @default.
- W2141988805 doi "https://doi.org/10.1145/337180.337220" @default.
- W2141988805 hasPublicationYear "2000" @default.
- W2141988805 type Work @default.
- W2141988805 sameAs 2141988805 @default.
- W2141988805 citedByCount "4" @default.
- W2141988805 crossrefType "proceedings-article" @default.
- W2141988805 hasAuthorship W2141988805A5040068875 @default.
- W2141988805 hasAuthorship W2141988805A5045603537 @default.
- W2141988805 hasConcept C10138342 @default.
- W2141988805 hasConcept C110251889 @default.
- W2141988805 hasConcept C11413529 @default.
- W2141988805 hasConcept C13280743 @default.
- W2141988805 hasConcept C162324750 @default.
- W2141988805 hasConcept C168065819 @default.
- W2141988805 hasConcept C185798385 @default.
- W2141988805 hasConcept C199360897 @default.
- W2141988805 hasConcept C205649164 @default.
- W2141988805 hasConcept C2775945657 @default.
- W2141988805 hasConcept C41008148 @default.
- W2141988805 hasConcept C48103436 @default.
- W2141988805 hasConcept C80444323 @default.
- W2141988805 hasConcept C98045186 @default.
- W2141988805 hasConceptScore W2141988805C10138342 @default.
- W2141988805 hasConceptScore W2141988805C110251889 @default.
- W2141988805 hasConceptScore W2141988805C11413529 @default.
- W2141988805 hasConceptScore W2141988805C13280743 @default.
- W2141988805 hasConceptScore W2141988805C162324750 @default.
- W2141988805 hasConceptScore W2141988805C168065819 @default.
- W2141988805 hasConceptScore W2141988805C185798385 @default.
- W2141988805 hasConceptScore W2141988805C199360897 @default.
- W2141988805 hasConceptScore W2141988805C205649164 @default.
- W2141988805 hasConceptScore W2141988805C2775945657 @default.
- W2141988805 hasConceptScore W2141988805C41008148 @default.
- W2141988805 hasConceptScore W2141988805C48103436 @default.
- W2141988805 hasConceptScore W2141988805C80444323 @default.
- W2141988805 hasConceptScore W2141988805C98045186 @default.
- W2141988805 hasLocation W21419888051 @default.
- W2141988805 hasOpenAccess W2141988805 @default.
- W2141988805 hasPrimaryLocation W21419888051 @default.
- W2141988805 hasRelatedWork W149116590 @default.
- W2141988805 hasRelatedWork W1538316268 @default.
- W2141988805 hasRelatedWork W1550621302 @default.
- W2141988805 hasRelatedWork W1563348382 @default.
- W2141988805 hasRelatedWork W1563672640 @default.
- W2141988805 hasRelatedWork W1945689202 @default.
- W2141988805 hasRelatedWork W1973954352 @default.
- W2141988805 hasRelatedWork W2023999667 @default.
- W2141988805 hasRelatedWork W2039292268 @default.
- W2141988805 hasRelatedWork W2100139843 @default.
- W2141988805 hasRelatedWork W2101508170 @default.
- W2141988805 hasRelatedWork W2164502223 @default.
- W2141988805 hasRelatedWork W2189517211 @default.
- W2141988805 hasRelatedWork W2260592993 @default.
- W2141988805 hasRelatedWork W2295497019 @default.
- W2141988805 hasRelatedWork W2730314220 @default.
- W2141988805 hasRelatedWork W2899469726 @default.
- W2141988805 hasRelatedWork W2902571568 @default.
- W2141988805 hasRelatedWork W2911583164 @default.
- W2141988805 hasRelatedWork W318320228 @default.
- W2141988805 isParatext "false" @default.
- W2141988805 isRetracted "false" @default.
- W2141988805 magId "2141988805" @default.
- W2141988805 workType "article" @default.