Matches in SemOpenAlex for { <https://semopenalex.org/work/W2555424174> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2555424174 abstract "Statistical model-checking is a recent technique used for both verification and performance analysis of hybrid systems. It does not suffer from decidability issues or state-space explosion compared to traditional model-checking. Furthermore, it is applicable to more powerful formalisms such as stochastic hybrid automata. Its principle is simple so how simple is it really to make it work in practice? In this extended abstract, we raise a number of practical issue, some of them disconnected from the underlying theory, and show how they are addressed in Up- paal SMC." @default.
- W2555424174 created "2016-11-30" @default.
- W2555424174 creator A5005712593 @default.
- W2555424174 creator A5024475534 @default.
- W2555424174 creator A5030129842 @default.
- W2555424174 creator A5069362159 @default.
- W2555424174 date "2013-09-01" @default.
- W2555424174 modified "2023-09-24" @default.
- W2555424174 title "Statistical Model Checking in Uppaal: Lets Practice" @default.
- W2555424174 cites W1489725951 @default.
- W2555424174 cites W1493169750 @default.
- W2555424174 cites W150845232 @default.
- W2555424174 cites W1558483585 @default.
- W2555424174 cites W1560643704 @default.
- W2555424174 cites W1563766529 @default.
- W2555424174 cites W1569248486 @default.
- W2555424174 cites W1631091010 @default.
- W2555424174 cites W169070976 @default.
- W2555424174 cites W1863517246 @default.
- W2555424174 cites W1998674588 @default.
- W2555424174 cites W2036595691 @default.
- W2555424174 cites W2080267935 @default.
- W2555424174 cites W2101508170 @default.
- W2555424174 cites W2127574686 @default.
- W2555424174 cites W2160883697 @default.
- W2555424174 cites W2161081924 @default.
- W2555424174 cites W2410243683 @default.
- W2555424174 hasPublicationYear "2013" @default.
- W2555424174 type Work @default.
- W2555424174 sameAs 2555424174 @default.
- W2555424174 citedByCount "0" @default.
- W2555424174 crossrefType "journal-article" @default.
- W2555424174 hasAuthorship W2555424174A5005712593 @default.
- W2555424174 hasAuthorship W2555424174A5024475534 @default.
- W2555424174 hasAuthorship W2555424174A5030129842 @default.
- W2555424174 hasAuthorship W2555424174A5069362159 @default.
- W2555424174 hasConcept C110251889 @default.
- W2555424174 hasConcept C111472728 @default.
- W2555424174 hasConcept C112505250 @default.
- W2555424174 hasConcept C138885662 @default.
- W2555424174 hasConcept C153269930 @default.
- W2555424174 hasConcept C171018156 @default.
- W2555424174 hasConcept C2524010 @default.
- W2555424174 hasConcept C2780586882 @default.
- W2555424174 hasConcept C33923547 @default.
- W2555424174 hasConcept C41008148 @default.
- W2555424174 hasConcept C80444323 @default.
- W2555424174 hasConceptScore W2555424174C110251889 @default.
- W2555424174 hasConceptScore W2555424174C111472728 @default.
- W2555424174 hasConceptScore W2555424174C112505250 @default.
- W2555424174 hasConceptScore W2555424174C138885662 @default.
- W2555424174 hasConceptScore W2555424174C153269930 @default.
- W2555424174 hasConceptScore W2555424174C171018156 @default.
- W2555424174 hasConceptScore W2555424174C2524010 @default.
- W2555424174 hasConceptScore W2555424174C2780586882 @default.
- W2555424174 hasConceptScore W2555424174C33923547 @default.
- W2555424174 hasConceptScore W2555424174C41008148 @default.
- W2555424174 hasConceptScore W2555424174C80444323 @default.
- W2555424174 hasLocation W25554241741 @default.
- W2555424174 hasOpenAccess W2555424174 @default.
- W2555424174 hasPrimaryLocation W25554241741 @default.
- W2555424174 hasRelatedWork W1481933832 @default.
- W2555424174 hasRelatedWork W1527833699 @default.
- W2555424174 hasRelatedWork W1548937009 @default.
- W2555424174 hasRelatedWork W1577352907 @default.
- W2555424174 hasRelatedWork W1582320864 @default.
- W2555424174 hasRelatedWork W1592970915 @default.
- W2555424174 hasRelatedWork W1819209966 @default.
- W2555424174 hasRelatedWork W1827990282 @default.
- W2555424174 hasRelatedWork W1998559974 @default.
- W2555424174 hasRelatedWork W1998714142 @default.
- W2555424174 hasRelatedWork W2070468372 @default.
- W2555424174 hasRelatedWork W2132080709 @default.
- W2555424174 hasRelatedWork W2615984677 @default.
- W2555424174 hasRelatedWork W2744509489 @default.
- W2555424174 hasRelatedWork W2913210435 @default.
- W2555424174 hasRelatedWork W3021635225 @default.
- W2555424174 hasRelatedWork W3170963609 @default.
- W2555424174 hasRelatedWork W770597979 @default.
- W2555424174 hasRelatedWork W819812567 @default.
- W2555424174 hasRelatedWork W1485560864 @default.
- W2555424174 isParatext "false" @default.
- W2555424174 isRetracted "false" @default.
- W2555424174 magId "2555424174" @default.
- W2555424174 workType "article" @default.