Matches in SemOpenAlex for { <https://semopenalex.org/work/W2342836500> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2342836500 abstract "The ability of unambiguously specifying (in a mathematical sense) and rigorously analysing timing prop- erties/constraints is fundamental to design correct hardware systems. Formalisms in which hardware behaviour and timing properties can be precisely captured is a mandatory prerequisite for designing correct hardware sys- tems (discrete-time systems by nature). Timed process algebras are such formalisms. To show that timed process algebras are useful for formal specification and analysis of hardware systems, in this paper, we illustrate the use of a timed process algebra called timed Chi (´) with several benchmark examples of hardware systems." @default.
- W2342836500 created "2016-06-24" @default.
- W2342836500 creator A5049286109 @default.
- W2342836500 date "2007-01-01" @default.
- W2342836500 modified "2023-09-27" @default.
- W2342836500 title "Specification and Analysis of Hardware Systems Using Timed" @default.
- W2342836500 cites W1481481169 @default.
- W2342836500 cites W1503158842 @default.
- W2342836500 cites W1521107250 @default.
- W2342836500 cites W1539432158 @default.
- W2342836500 cites W1586417778 @default.
- W2342836500 cites W1593284044 @default.
- W2342836500 cites W174007698 @default.
- W2342836500 cites W2000947342 @default.
- W2342836500 cites W2010698657 @default.
- W2342836500 cites W2017588406 @default.
- W2342836500 cites W2044667269 @default.
- W2342836500 cites W205742101 @default.
- W2342836500 cites W2089546907 @default.
- W2342836500 cites W2101206446 @default.
- W2342836500 cites W2110425399 @default.
- W2342836500 cites W2118229393 @default.
- W2342836500 cites W2126489030 @default.
- W2342836500 cites W2132602141 @default.
- W2342836500 cites W2137093994 @default.
- W2342836500 cites W2137609239 @default.
- W2342836500 cites W3144368627 @default.
- W2342836500 cites W33699016 @default.
- W2342836500 cites W1562744003 @default.
- W2342836500 hasPublicationYear "2007" @default.
- W2342836500 type Work @default.
- W2342836500 sameAs 2342836500 @default.
- W2342836500 citedByCount "0" @default.
- W2342836500 crossrefType "journal-article" @default.
- W2342836500 hasAuthorship W2342836500A5049286109 @default.
- W2342836500 hasConcept C13280743 @default.
- W2342836500 hasConcept C149635348 @default.
- W2342836500 hasConcept C161771561 @default.
- W2342836500 hasConcept C171018156 @default.
- W2342836500 hasConcept C185798385 @default.
- W2342836500 hasConcept C199360897 @default.
- W2342836500 hasConcept C205649164 @default.
- W2342836500 hasConcept C2524010 @default.
- W2342836500 hasConcept C33923547 @default.
- W2342836500 hasConcept C41008148 @default.
- W2342836500 hasConcept C80444323 @default.
- W2342836500 hasConcept C98045186 @default.
- W2342836500 hasConceptScore W2342836500C13280743 @default.
- W2342836500 hasConceptScore W2342836500C149635348 @default.
- W2342836500 hasConceptScore W2342836500C161771561 @default.
- W2342836500 hasConceptScore W2342836500C171018156 @default.
- W2342836500 hasConceptScore W2342836500C185798385 @default.
- W2342836500 hasConceptScore W2342836500C199360897 @default.
- W2342836500 hasConceptScore W2342836500C205649164 @default.
- W2342836500 hasConceptScore W2342836500C2524010 @default.
- W2342836500 hasConceptScore W2342836500C33923547 @default.
- W2342836500 hasConceptScore W2342836500C41008148 @default.
- W2342836500 hasConceptScore W2342836500C80444323 @default.
- W2342836500 hasConceptScore W2342836500C98045186 @default.
- W2342836500 hasLocation W23428365001 @default.
- W2342836500 hasOpenAccess W2342836500 @default.
- W2342836500 hasPrimaryLocation W23428365001 @default.
- W2342836500 hasRelatedWork W108437425 @default.
- W2342836500 hasRelatedWork W1491738330 @default.
- W2342836500 hasRelatedWork W1513714848 @default.
- W2342836500 hasRelatedWork W1535341347 @default.
- W2342836500 hasRelatedWork W1742691233 @default.
- W2342836500 hasRelatedWork W1980298079 @default.
- W2342836500 hasRelatedWork W2001574015 @default.
- W2342836500 hasRelatedWork W2002328633 @default.
- W2342836500 hasRelatedWork W2012582094 @default.
- W2342836500 hasRelatedWork W2084964781 @default.
- W2342836500 hasRelatedWork W2115741225 @default.
- W2342836500 hasRelatedWork W2118180631 @default.
- W2342836500 hasRelatedWork W2126823087 @default.
- W2342836500 hasRelatedWork W2143958438 @default.
- W2342836500 hasRelatedWork W2189516265 @default.
- W2342836500 hasRelatedWork W2409813777 @default.
- W2342836500 hasRelatedWork W2614085781 @default.
- W2342836500 hasRelatedWork W2619642555 @default.
- W2342836500 hasRelatedWork W2788894624 @default.
- W2342836500 hasRelatedWork W4860955 @default.
- W2342836500 isParatext "false" @default.
- W2342836500 isRetracted "false" @default.
- W2342836500 magId "2342836500" @default.
- W2342836500 workType "article" @default.