Matches in SemOpenAlex for { <https://semopenalex.org/work/W85681623> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W85681623 abstract "In this paper we describe an interesting context to study formal methods for component systems: embedded devices. The context of embedded devices is highly constrained by the physical requirements the devices have to adhere to. As a result, component models for embedded devices are not general purpose but geared towards these constrained contexts. In this paper we give the concrete setting of the Pecos project (a project with as goal component engineering for embedded devices). We describe the Pecos component model, and show possibilities where we think formal verification could be useful. We would like to use this as a very concrete example to discuss formal verification techniques." @default.
- W85681623 created "2016-06-24" @default.
- W85681623 creator A5031290426 @default.
- W85681623 creator A5069634715 @default.
- W85681623 date "2001-01-01" @default.
- W85681623 modified "2023-10-06" @default.
- W85681623 title "Non-Functional Requirements in a Component Model for Embedded Systems" @default.
- W85681623 cites W1586502670 @default.
- W85681623 cites W1863425933 @default.
- W85681623 cites W2072961973 @default.
- W85681623 cites W2125415493 @default.
- W85681623 cites W2137013740 @default.
- W85681623 cites W2798510498 @default.
- W85681623 hasPublicationYear "2001" @default.
- W85681623 type Work @default.
- W85681623 sameAs 85681623 @default.
- W85681623 citedByCount "7" @default.
- W85681623 countsByYear W856816232014 @default.
- W85681623 countsByYear W856816232015 @default.
- W85681623 crossrefType "journal-article" @default.
- W85681623 hasAuthorship W85681623A5031290426 @default.
- W85681623 hasAuthorship W85681623A5069634715 @default.
- W85681623 hasConcept C111498074 @default.
- W85681623 hasConcept C115903868 @default.
- W85681623 hasConcept C121332964 @default.
- W85681623 hasConcept C127413603 @default.
- W85681623 hasConcept C149635348 @default.
- W85681623 hasConcept C151730666 @default.
- W85681623 hasConcept C168167062 @default.
- W85681623 hasConcept C199360897 @default.
- W85681623 hasConcept C201995342 @default.
- W85681623 hasConcept C2779343474 @default.
- W85681623 hasConcept C41008148 @default.
- W85681623 hasConcept C75606506 @default.
- W85681623 hasConcept C86803240 @default.
- W85681623 hasConcept C97355855 @default.
- W85681623 hasConceptScore W85681623C111498074 @default.
- W85681623 hasConceptScore W85681623C115903868 @default.
- W85681623 hasConceptScore W85681623C121332964 @default.
- W85681623 hasConceptScore W85681623C127413603 @default.
- W85681623 hasConceptScore W85681623C149635348 @default.
- W85681623 hasConceptScore W85681623C151730666 @default.
- W85681623 hasConceptScore W85681623C168167062 @default.
- W85681623 hasConceptScore W85681623C199360897 @default.
- W85681623 hasConceptScore W85681623C201995342 @default.
- W85681623 hasConceptScore W85681623C2779343474 @default.
- W85681623 hasConceptScore W85681623C41008148 @default.
- W85681623 hasConceptScore W85681623C75606506 @default.
- W85681623 hasConceptScore W85681623C86803240 @default.
- W85681623 hasConceptScore W85681623C97355855 @default.
- W85681623 hasLocation W856816231 @default.
- W85681623 hasOpenAccess W85681623 @default.
- W85681623 hasPrimaryLocation W856816231 @default.
- W85681623 hasRelatedWork W1497937281 @default.
- W85681623 hasRelatedWork W1565279216 @default.
- W85681623 hasRelatedWork W1593816714 @default.
- W85681623 hasRelatedWork W1607452042 @default.
- W85681623 hasRelatedWork W2028542427 @default.
- W85681623 hasRelatedWork W2077318760 @default.
- W85681623 hasRelatedWork W2125579889 @default.
- W85681623 hasRelatedWork W2127036198 @default.
- W85681623 hasRelatedWork W2131498035 @default.
- W85681623 hasRelatedWork W2159003633 @default.
- W85681623 hasRelatedWork W2160086685 @default.
- W85681623 hasRelatedWork W2171171553 @default.
- W85681623 hasRelatedWork W2335970510 @default.
- W85681623 hasRelatedWork W2347637250 @default.
- W85681623 hasRelatedWork W2361159599 @default.
- W85681623 hasRelatedWork W2372289680 @default.
- W85681623 hasRelatedWork W2375219368 @default.
- W85681623 hasRelatedWork W2389995159 @default.
- W85681623 hasRelatedWork W2391236928 @default.
- W85681623 hasRelatedWork W1524564171 @default.
- W85681623 isParatext "false" @default.
- W85681623 isRetracted "false" @default.
- W85681623 magId "85681623" @default.
- W85681623 workType "article" @default.