Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514233891> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1514233891 endingPage "257" @default.
- W1514233891 startingPage "252" @default.
- W1514233891 abstract "uppaalport is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language SaveCCM and provides efficient model-checking by using partial-order reduction techniques that exploits the structure and the component behavior of the model. uppaalport is implemented as an extension of the verification engine in the uppaal tool. The tool can be used as back-end in to the Eclipse based SaveCCM integrated development environment, which supports user friendly editing, simulation, and verification of models." @default.
- W1514233891 created "2016-06-24" @default.
- W1514233891 creator A5033624056 @default.
- W1514233891 creator A5035488847 @default.
- W1514233891 creator A5055006683 @default.
- W1514233891 creator A5075525823 @default.
- W1514233891 creator A5079870005 @default.
- W1514233891 date "2008-01-01" @default.
- W1514233891 modified "2023-09-23" @default.
- W1514233891 title "Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT" @default.
- W1514233891 cites W1506579115 @default.
- W1514233891 cites W1560730347 @default.
- W1514233891 cites W1863517246 @default.
- W1514233891 cites W2000254486 @default.
- W1514233891 cites W2036670017 @default.
- W1514233891 cites W2101508170 @default.
- W1514233891 cites W2105859895 @default.
- W1514233891 cites W2107558091 @default.
- W1514233891 cites W2118938189 @default.
- W1514233891 cites W2132602141 @default.
- W1514233891 doi "https://doi.org/10.1007/978-3-540-88387-6_23" @default.
- W1514233891 hasPublicationYear "2008" @default.
- W1514233891 type Work @default.
- W1514233891 sameAs 1514233891 @default.
- W1514233891 citedByCount "27" @default.
- W1514233891 countsByYear W15142338912012 @default.
- W1514233891 countsByYear W15142338912013 @default.
- W1514233891 countsByYear W15142338912014 @default.
- W1514233891 countsByYear W15142338912015 @default.
- W1514233891 countsByYear W15142338912016 @default.
- W1514233891 crossrefType "book-chapter" @default.
- W1514233891 hasAuthorship W1514233891A5033624056 @default.
- W1514233891 hasAuthorship W1514233891A5035488847 @default.
- W1514233891 hasAuthorship W1514233891A5055006683 @default.
- W1514233891 hasAuthorship W1514233891A5075525823 @default.
- W1514233891 hasAuthorship W1514233891A5079870005 @default.
- W1514233891 hasConcept C110251889 @default.
- W1514233891 hasConcept C121332964 @default.
- W1514233891 hasConcept C1276947 @default.
- W1514233891 hasConcept C149635348 @default.
- W1514233891 hasConcept C165696696 @default.
- W1514233891 hasConcept C168167062 @default.
- W1514233891 hasConcept C199360897 @default.
- W1514233891 hasConcept C2778505590 @default.
- W1514233891 hasConcept C38652104 @default.
- W1514233891 hasConcept C41008148 @default.
- W1514233891 hasConcept C94633896 @default.
- W1514233891 hasConcept C97355855 @default.
- W1514233891 hasConceptScore W1514233891C110251889 @default.
- W1514233891 hasConceptScore W1514233891C121332964 @default.
- W1514233891 hasConceptScore W1514233891C1276947 @default.
- W1514233891 hasConceptScore W1514233891C149635348 @default.
- W1514233891 hasConceptScore W1514233891C165696696 @default.
- W1514233891 hasConceptScore W1514233891C168167062 @default.
- W1514233891 hasConceptScore W1514233891C199360897 @default.
- W1514233891 hasConceptScore W1514233891C2778505590 @default.
- W1514233891 hasConceptScore W1514233891C38652104 @default.
- W1514233891 hasConceptScore W1514233891C41008148 @default.
- W1514233891 hasConceptScore W1514233891C94633896 @default.
- W1514233891 hasConceptScore W1514233891C97355855 @default.
- W1514233891 hasLocation W15142338911 @default.
- W1514233891 hasOpenAccess W1514233891 @default.
- W1514233891 hasPrimaryLocation W15142338911 @default.
- W1514233891 hasRelatedWork W1517543977 @default.
- W1514233891 hasRelatedWork W1868864221 @default.
- W1514233891 hasRelatedWork W1973954352 @default.
- W1514233891 hasRelatedWork W2056106183 @default.
- W1514233891 hasRelatedWork W2148239084 @default.
- W1514233891 hasRelatedWork W2331043530 @default.
- W1514233891 hasRelatedWork W2551596431 @default.
- W1514233891 hasRelatedWork W2980138239 @default.
- W1514233891 hasRelatedWork W2997512100 @default.
- W1514233891 hasRelatedWork W4244486899 @default.
- W1514233891 isParatext "false" @default.
- W1514233891 isRetracted "false" @default.
- W1514233891 magId "1514233891" @default.
- W1514233891 workType "book-chapter" @default.