Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233959905> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4233959905 abstract "We introduce the Hybrid Automata Stochastic Logic HASL, a new temporal logic formalism for the verification of discrete event stochastic processes (DESP). HASL employs Linear Hybrid Automata (LHA) as machineries to select prefixes of relevant execution paths of a DESP. The advantage with" @default.
- W4233959905 created "2022-05-12" @default.
- W4233959905 creator A5006881035 @default.
- W4233959905 creator A5032695704 @default.
- W4233959905 creator A5041207611 @default.
- W4233959905 creator A5067435617 @default.
- W4233959905 creator A5076352793 @default.
- W4233959905 date "2011-01-01" @default.
- W4233959905 modified "2023-10-06" @default.
- W4233959905 title "HASL: an Expressive Language for Statistical Verification of Stochastic Models" @default.
- W4233959905 doi "https://doi.org/10.4108/icst.valuetools.2011.245710" @default.
- W4233959905 hasPublicationYear "2011" @default.
- W4233959905 type Work @default.
- W4233959905 citedByCount "15" @default.
- W4233959905 countsByYear W42339599052012 @default.
- W4233959905 countsByYear W42339599052013 @default.
- W4233959905 countsByYear W42339599052014 @default.
- W4233959905 countsByYear W42339599052015 @default.
- W4233959905 countsByYear W42339599052017 @default.
- W4233959905 countsByYear W42339599052022 @default.
- W4233959905 crossrefType "proceedings-article" @default.
- W4233959905 hasAuthorship W4233959905A5006881035 @default.
- W4233959905 hasAuthorship W4233959905A5032695704 @default.
- W4233959905 hasAuthorship W4233959905A5041207611 @default.
- W4233959905 hasAuthorship W4233959905A5067435617 @default.
- W4233959905 hasAuthorship W4233959905A5076352793 @default.
- W4233959905 hasBestOaLocation W42339599051 @default.
- W4233959905 hasConcept C105795698 @default.
- W4233959905 hasConcept C112505250 @default.
- W4233959905 hasConcept C11413529 @default.
- W4233959905 hasConcept C138885662 @default.
- W4233959905 hasConcept C141603448 @default.
- W4233959905 hasConcept C142362112 @default.
- W4233959905 hasConcept C147203929 @default.
- W4233959905 hasConcept C153349607 @default.
- W4233959905 hasConcept C199360897 @default.
- W4233959905 hasConcept C25016198 @default.
- W4233959905 hasConcept C33923547 @default.
- W4233959905 hasConcept C41008148 @default.
- W4233959905 hasConcept C41895202 @default.
- W4233959905 hasConcept C44154836 @default.
- W4233959905 hasConcept C4777664 @default.
- W4233959905 hasConcept C558565934 @default.
- W4233959905 hasConcept C73301696 @default.
- W4233959905 hasConcept C80444323 @default.
- W4233959905 hasConcept C8272713 @default.
- W4233959905 hasConceptScore W4233959905C105795698 @default.
- W4233959905 hasConceptScore W4233959905C112505250 @default.
- W4233959905 hasConceptScore W4233959905C11413529 @default.
- W4233959905 hasConceptScore W4233959905C138885662 @default.
- W4233959905 hasConceptScore W4233959905C141603448 @default.
- W4233959905 hasConceptScore W4233959905C142362112 @default.
- W4233959905 hasConceptScore W4233959905C147203929 @default.
- W4233959905 hasConceptScore W4233959905C153349607 @default.
- W4233959905 hasConceptScore W4233959905C199360897 @default.
- W4233959905 hasConceptScore W4233959905C25016198 @default.
- W4233959905 hasConceptScore W4233959905C33923547 @default.
- W4233959905 hasConceptScore W4233959905C41008148 @default.
- W4233959905 hasConceptScore W4233959905C41895202 @default.
- W4233959905 hasConceptScore W4233959905C44154836 @default.
- W4233959905 hasConceptScore W4233959905C4777664 @default.
- W4233959905 hasConceptScore W4233959905C558565934 @default.
- W4233959905 hasConceptScore W4233959905C73301696 @default.
- W4233959905 hasConceptScore W4233959905C80444323 @default.
- W4233959905 hasConceptScore W4233959905C8272713 @default.
- W4233959905 hasLocation W42339599051 @default.
- W4233959905 hasLocation W42339599052 @default.
- W4233959905 hasLocation W42339599053 @default.
- W4233959905 hasLocation W42339599054 @default.
- W4233959905 hasOpenAccess W4233959905 @default.
- W4233959905 hasPrimaryLocation W42339599051 @default.
- W4233959905 hasRelatedWork W140214610 @default.
- W4233959905 hasRelatedWork W1527462432 @default.
- W4233959905 hasRelatedWork W1582517610 @default.
- W4233959905 hasRelatedWork W1749129787 @default.
- W4233959905 hasRelatedWork W2022624450 @default.
- W4233959905 hasRelatedWork W2170797395 @default.
- W4233959905 hasRelatedWork W2484578205 @default.
- W4233959905 hasRelatedWork W2798742893 @default.
- W4233959905 hasRelatedWork W2883923349 @default.
- W4233959905 hasRelatedWork W4233959905 @default.
- W4233959905 isParatext "false" @default.
- W4233959905 isRetracted "false" @default.
- W4233959905 workType "article" @default.