Matches in SemOpenAlex for { <https://semopenalex.org/work/W2545523121> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2545523121 abstract "This paper proposes a framework which supports performance evaluation and logical analysis of discrete event systems using a unified formalism, i.e., the DEVS (discrete event system specification) formalism. For performance evaluation, DEVSim++, a realization of the DEVS formalism and the associated simulation algorithms in C++, is used. For logical analysis, the dual language approach is adopted. We use the DEVS formalism as an operational formalism to describe system's behavior. Temporal logic (TL) is employed as an assertional formalism to specify system's properties. To reduce states space in logical analysis, we exploit a projection mechanism. The method is a mapping of a set of states in models into a state which obtained from TL assertions. An example of logical analysis for alternating bit protocol is given. >" @default.
- W2545523121 created "2016-11-04" @default.
- W2545523121 creator A5004032246 @default.
- W2545523121 creator A5053501953 @default.
- W2545523121 date "2002-12-17" @default.
- W2545523121 modified "2023-09-23" @default.
- W2545523121 title "The DEVS formalism: a framework for logical analysis and performance evaluation for discrete event systems" @default.
- W2545523121 cites W2039853888 @default.
- W2545523121 cites W2062934926 @default.
- W2545523121 cites W2075920544 @default.
- W2545523121 doi "https://doi.org/10.1109/aihas.1994.390475" @default.
- W2545523121 hasPublicationYear "2002" @default.
- W2545523121 type Work @default.
- W2545523121 sameAs 2545523121 @default.
- W2545523121 citedByCount "2" @default.
- W2545523121 countsByYear W25455231212015 @default.
- W2545523121 crossrefType "proceedings-article" @default.
- W2545523121 hasAuthorship W2545523121A5004032246 @default.
- W2545523121 hasAuthorship W2545523121A5053501953 @default.
- W2545523121 hasConcept C11413529 @default.
- W2545523121 hasConcept C142362112 @default.
- W2545523121 hasConcept C153349607 @default.
- W2545523121 hasConcept C165696696 @default.
- W2545523121 hasConcept C167343916 @default.
- W2545523121 hasConcept C199360897 @default.
- W2545523121 hasConcept C38652104 @default.
- W2545523121 hasConcept C41008148 @default.
- W2545523121 hasConcept C44154836 @default.
- W2545523121 hasConcept C558565934 @default.
- W2545523121 hasConcept C68757728 @default.
- W2545523121 hasConcept C73301696 @default.
- W2545523121 hasConcept C80444323 @default.
- W2545523121 hasConceptScore W2545523121C11413529 @default.
- W2545523121 hasConceptScore W2545523121C142362112 @default.
- W2545523121 hasConceptScore W2545523121C153349607 @default.
- W2545523121 hasConceptScore W2545523121C165696696 @default.
- W2545523121 hasConceptScore W2545523121C167343916 @default.
- W2545523121 hasConceptScore W2545523121C199360897 @default.
- W2545523121 hasConceptScore W2545523121C38652104 @default.
- W2545523121 hasConceptScore W2545523121C41008148 @default.
- W2545523121 hasConceptScore W2545523121C44154836 @default.
- W2545523121 hasConceptScore W2545523121C558565934 @default.
- W2545523121 hasConceptScore W2545523121C68757728 @default.
- W2545523121 hasConceptScore W2545523121C73301696 @default.
- W2545523121 hasConceptScore W2545523121C80444323 @default.
- W2545523121 hasLocation W25455231211 @default.
- W2545523121 hasOpenAccess W2545523121 @default.
- W2545523121 hasPrimaryLocation W25455231211 @default.
- W2545523121 hasRelatedWork W110725480 @default.
- W2545523121 hasRelatedWork W1489828373 @default.
- W2545523121 hasRelatedWork W1508466959 @default.
- W2545523121 hasRelatedWork W1760235840 @default.
- W2545523121 hasRelatedWork W182173591 @default.
- W2545523121 hasRelatedWork W1847651369 @default.
- W2545523121 hasRelatedWork W1919020429 @default.
- W2545523121 hasRelatedWork W1922808635 @default.
- W2545523121 hasRelatedWork W2002817295 @default.
- W2545523121 hasRelatedWork W2054237002 @default.
- W2545523121 hasRelatedWork W2054594691 @default.
- W2545523121 hasRelatedWork W2121876288 @default.
- W2545523121 hasRelatedWork W2122571918 @default.
- W2545523121 hasRelatedWork W2147950383 @default.
- W2545523121 hasRelatedWork W2150570689 @default.
- W2545523121 hasRelatedWork W2150726632 @default.
- W2545523121 hasRelatedWork W2170265383 @default.
- W2545523121 hasRelatedWork W2171273359 @default.
- W2545523121 hasRelatedWork W2554498309 @default.
- W2545523121 hasRelatedWork W2612761379 @default.
- W2545523121 isParatext "false" @default.
- W2545523121 isRetracted "false" @default.
- W2545523121 magId "2545523121" @default.
- W2545523121 workType "article" @default.