Matches in SemOpenAlex for { <https://semopenalex.org/work/W2870653993> ?p ?o ?g. }
- W2870653993 abstract "In this paper we review 20 years of significant industrial application of the Uppaal Tool Suite for model-based validation, performance evaluation and synthesis. The paper will highlight a number of selected cases, and discuss successes and pitfalls in achieving industrial impact as well as tool sustainability in an academic setting." @default.
- W2870653993 created "2018-07-19" @default.
- W2870653993 creator A5005134461 @default.
- W2870653993 creator A5054433534 @default.
- W2870653993 creator A5069362159 @default.
- W2870653993 date "2018-01-01" @default.
- W2870653993 modified "2023-10-06" @default.
- W2870653993 title "20 Years of Real Real Time Model Validation" @default.
- W2870653993 cites W1495188953 @default.
- W2870653993 cites W1505255894 @default.
- W2870653993 cites W1523839842 @default.
- W2870653993 cites W1538672397 @default.
- W2870653993 cites W1543690662 @default.
- W2870653993 cites W1573865009 @default.
- W2870653993 cites W1587502808 @default.
- W2870653993 cites W1599995366 @default.
- W2870653993 cites W1728566153 @default.
- W2870653993 cites W1880615699 @default.
- W2870653993 cites W1936851409 @default.
- W2870653993 cites W1956986296 @default.
- W2870653993 cites W1962872449 @default.
- W2870653993 cites W1987535580 @default.
- W2870653993 cites W2000947342 @default.
- W2870653993 cites W2039784168 @default.
- W2870653993 cites W2057963757 @default.
- W2870653993 cites W2065323166 @default.
- W2870653993 cites W2069642289 @default.
- W2870653993 cites W2070698276 @default.
- W2870653993 cites W2099184861 @default.
- W2870653993 cites W2109563237 @default.
- W2870653993 cites W2113589671 @default.
- W2870653993 cites W2118017610 @default.
- W2870653993 cites W2121539168 @default.
- W2870653993 cites W2126402943 @default.
- W2870653993 cites W2129931199 @default.
- W2870653993 cites W2130664212 @default.
- W2870653993 cites W2139101939 @default.
- W2870653993 cites W2152295777 @default.
- W2870653993 cites W2156129170 @default.
- W2870653993 cites W2156314014 @default.
- W2870653993 cites W2163014247 @default.
- W2870653993 cites W2163626018 @default.
- W2870653993 cites W2163659692 @default.
- W2870653993 cites W2166423024 @default.
- W2870653993 cites W2442701636 @default.
- W2870653993 cites W2481150835 @default.
- W2870653993 cites W2508247887 @default.
- W2870653993 cites W2555199731 @default.
- W2870653993 cites W2912198824 @default.
- W2870653993 cites W296769721 @default.
- W2870653993 cites W3121942651 @default.
- W2870653993 cites W4235642401 @default.
- W2870653993 doi "https://doi.org/10.1007/978-3-319-95582-7_2" @default.
- W2870653993 hasPublicationYear "2018" @default.
- W2870653993 type Work @default.
- W2870653993 sameAs 2870653993 @default.
- W2870653993 citedByCount "1" @default.
- W2870653993 countsByYear W28706539932020 @default.
- W2870653993 crossrefType "book-chapter" @default.
- W2870653993 hasAuthorship W2870653993A5005134461 @default.
- W2870653993 hasAuthorship W2870653993A5054433534 @default.
- W2870653993 hasAuthorship W2870653993A5069362159 @default.
- W2870653993 hasConcept C115903868 @default.
- W2870653993 hasConcept C166957645 @default.
- W2870653993 hasConcept C18903297 @default.
- W2870653993 hasConcept C41008148 @default.
- W2870653993 hasConcept C66204764 @default.
- W2870653993 hasConcept C79581498 @default.
- W2870653993 hasConcept C86803240 @default.
- W2870653993 hasConcept C95457728 @default.
- W2870653993 hasConceptScore W2870653993C115903868 @default.
- W2870653993 hasConceptScore W2870653993C166957645 @default.
- W2870653993 hasConceptScore W2870653993C18903297 @default.
- W2870653993 hasConceptScore W2870653993C41008148 @default.
- W2870653993 hasConceptScore W2870653993C66204764 @default.
- W2870653993 hasConceptScore W2870653993C79581498 @default.
- W2870653993 hasConceptScore W2870653993C86803240 @default.
- W2870653993 hasConceptScore W2870653993C95457728 @default.
- W2870653993 hasLocation W28706539931 @default.
- W2870653993 hasOpenAccess W2870653993 @default.
- W2870653993 hasPrimaryLocation W28706539931 @default.
- W2870653993 hasRelatedWork W152342220 @default.
- W2870653993 hasRelatedWork W1584289259 @default.
- W2870653993 hasRelatedWork W1972172078 @default.
- W2870653993 hasRelatedWork W1980954486 @default.
- W2870653993 hasRelatedWork W2015232149 @default.
- W2870653993 hasRelatedWork W2026189920 @default.
- W2870653993 hasRelatedWork W203316257 @default.
- W2870653993 hasRelatedWork W2057642212 @default.
- W2870653993 hasRelatedWork W2079713869 @default.
- W2870653993 hasRelatedWork W2109453422 @default.
- W2870653993 hasRelatedWork W2144077041 @default.
- W2870653993 hasRelatedWork W2289725106 @default.
- W2870653993 hasRelatedWork W23154965 @default.
- W2870653993 hasRelatedWork W2560471068 @default.
- W2870653993 hasRelatedWork W2581375459 @default.
- W2870653993 hasRelatedWork W2586226751 @default.
- W2870653993 hasRelatedWork W2597367972 @default.
- W2870653993 hasRelatedWork W3039840332 @default.
- W2870653993 hasRelatedWork W3114984478 @default.