Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106982023> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2106982023 abstract "This paper presents the behavioral semantics of the high level modeling formalism sensor activation graphs (SAG). SAG simplifies discrete event modeling of physical systems with binary input and output signals, typically manufacturing systems. The SAG framework is object oriented and contains several convenient features that is believed to make formal modeling manageable even for full-size manufacturing systems. An algorithm for transforming a SAG model into finite state automata is presented, which enables formal verification and synthesis" @default.
- W2106982023 created "2016-06-24" @default.
- W2106982023 creator A5004913992 @default.
- W2106982023 creator A5076331540 @default.
- W2106982023 date "2006-01-01" @default.
- W2106982023 modified "2023-10-17" @default.
- W2106982023 title "Semantics of Sensor Activation Graphs" @default.
- W2106982023 cites W1534850333 @default.
- W2106982023 cites W1587663028 @default.
- W2106982023 cites W1589724738 @default.
- W2106982023 cites W1979349468 @default.
- W2106982023 cites W2053958008 @default.
- W2106982023 cites W2058152653 @default.
- W2106982023 cites W2078984959 @default.
- W2106982023 cites W2099529102 @default.
- W2106982023 cites W2103284246 @default.
- W2106982023 cites W2129395888 @default.
- W2106982023 cites W2176300081 @default.
- W2106982023 cites W2972217124 @default.
- W2106982023 cites W3144368627 @default.
- W2106982023 cites W369897315 @default.
- W2106982023 doi "https://doi.org/10.1109/coase.2006.326918" @default.
- W2106982023 hasPublicationYear "2006" @default.
- W2106982023 type Work @default.
- W2106982023 sameAs 2106982023 @default.
- W2106982023 citedByCount "0" @default.
- W2106982023 crossrefType "proceedings-article" @default.
- W2106982023 hasAuthorship W2106982023A5004913992 @default.
- W2106982023 hasAuthorship W2106982023A5076331540 @default.
- W2106982023 hasConcept C110963975 @default.
- W2106982023 hasConcept C111498074 @default.
- W2106982023 hasConcept C111919701 @default.
- W2106982023 hasConcept C112505250 @default.
- W2106982023 hasConcept C11413529 @default.
- W2106982023 hasConcept C115903868 @default.
- W2106982023 hasConcept C120314980 @default.
- W2106982023 hasConcept C142362112 @default.
- W2106982023 hasConcept C145644426 @default.
- W2106982023 hasConcept C153349607 @default.
- W2106982023 hasConcept C167343916 @default.
- W2106982023 hasConcept C167822520 @default.
- W2106982023 hasConcept C179768478 @default.
- W2106982023 hasConcept C184337299 @default.
- W2106982023 hasConcept C199360897 @default.
- W2106982023 hasConcept C2777904410 @default.
- W2106982023 hasConcept C33923547 @default.
- W2106982023 hasConcept C41008148 @default.
- W2106982023 hasConcept C44154836 @default.
- W2106982023 hasConcept C48372109 @default.
- W2106982023 hasConcept C558565934 @default.
- W2106982023 hasConcept C68757728 @default.
- W2106982023 hasConcept C73301696 @default.
- W2106982023 hasConcept C80444323 @default.
- W2106982023 hasConcept C94375191 @default.
- W2106982023 hasConceptScore W2106982023C110963975 @default.
- W2106982023 hasConceptScore W2106982023C111498074 @default.
- W2106982023 hasConceptScore W2106982023C111919701 @default.
- W2106982023 hasConceptScore W2106982023C112505250 @default.
- W2106982023 hasConceptScore W2106982023C11413529 @default.
- W2106982023 hasConceptScore W2106982023C115903868 @default.
- W2106982023 hasConceptScore W2106982023C120314980 @default.
- W2106982023 hasConceptScore W2106982023C142362112 @default.
- W2106982023 hasConceptScore W2106982023C145644426 @default.
- W2106982023 hasConceptScore W2106982023C153349607 @default.
- W2106982023 hasConceptScore W2106982023C167343916 @default.
- W2106982023 hasConceptScore W2106982023C167822520 @default.
- W2106982023 hasConceptScore W2106982023C179768478 @default.
- W2106982023 hasConceptScore W2106982023C184337299 @default.
- W2106982023 hasConceptScore W2106982023C199360897 @default.
- W2106982023 hasConceptScore W2106982023C2777904410 @default.
- W2106982023 hasConceptScore W2106982023C33923547 @default.
- W2106982023 hasConceptScore W2106982023C41008148 @default.
- W2106982023 hasConceptScore W2106982023C44154836 @default.
- W2106982023 hasConceptScore W2106982023C48372109 @default.
- W2106982023 hasConceptScore W2106982023C558565934 @default.
- W2106982023 hasConceptScore W2106982023C68757728 @default.
- W2106982023 hasConceptScore W2106982023C73301696 @default.
- W2106982023 hasConceptScore W2106982023C80444323 @default.
- W2106982023 hasConceptScore W2106982023C94375191 @default.
- W2106982023 hasLocation W21069820231 @default.
- W2106982023 hasOpenAccess W2106982023 @default.
- W2106982023 hasPrimaryLocation W21069820231 @default.
- W2106982023 hasRelatedWork W10363999 @default.
- W2106982023 hasRelatedWork W1526320588 @default.
- W2106982023 hasRelatedWork W187824920 @default.
- W2106982023 hasRelatedWork W1975021411 @default.
- W2106982023 hasRelatedWork W1998330138 @default.
- W2106982023 hasRelatedWork W2106982023 @default.
- W2106982023 hasRelatedWork W2152567089 @default.
- W2106982023 hasRelatedWork W2484578205 @default.
- W2106982023 hasRelatedWork W2592881726 @default.
- W2106982023 hasRelatedWork W4213453687 @default.
- W2106982023 isParatext "false" @default.
- W2106982023 isRetracted "false" @default.
- W2106982023 magId "2106982023" @default.
- W2106982023 workType "article" @default.