Matches in SemOpenAlex for { <https://semopenalex.org/work/W2318534094> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2318534094 endingPage "175" @default.
- W2318534094 startingPage "175" @default.
- W2318534094 abstract "Embedded systems are critical components of our everyday lives, be they in control systems like airbag controllers in cars, or in consumer products like washing machines and phones. Since such electronic products evolve to software intensive systems, software, becoming larger, more complex and prevalent, poses severe problems in the development of those systems. The required degree of dependability will lead to more rigour in construction and validation, and hence, strengthen the role of formal methods. Moreover, methods used in other areas, such as model checking in hardware verification and finite-state-machine-based testing in protocol testing, will make their way." @default.
- W2318534094 created "2016-06-24" @default.
- W2318534094 creator A5089236355 @default.
- W2318534094 date "1984-07-01" @default.
- W2318534094 modified "2023-09-25" @default.
- W2318534094 title "Programming embedded systems with ada" @default.
- W2318534094 doi "https://doi.org/10.1016/0141-1195(84)90047-0" @default.
- W2318534094 hasPublicationYear "1984" @default.
- W2318534094 type Work @default.
- W2318534094 sameAs 2318534094 @default.
- W2318534094 citedByCount "0" @default.
- W2318534094 crossrefType "journal-article" @default.
- W2318534094 hasAuthorship W2318534094A5089236355 @default.
- W2318534094 hasConcept C110251889 @default.
- W2318534094 hasConcept C111498074 @default.
- W2318534094 hasConcept C115903868 @default.
- W2318534094 hasConcept C127413603 @default.
- W2318534094 hasConcept C142724271 @default.
- W2318534094 hasConcept C149635348 @default.
- W2318534094 hasConcept C154488198 @default.
- W2318534094 hasConcept C167822520 @default.
- W2318534094 hasConcept C199360897 @default.
- W2318534094 hasConcept C200601418 @default.
- W2318534094 hasConcept C204787440 @default.
- W2318534094 hasConcept C2524010 @default.
- W2318534094 hasConcept C2777904410 @default.
- W2318534094 hasConcept C2780385302 @default.
- W2318534094 hasConcept C2988765172 @default.
- W2318534094 hasConcept C33923547 @default.
- W2318534094 hasConcept C41008148 @default.
- W2318534094 hasConcept C48103436 @default.
- W2318534094 hasConcept C71008984 @default.
- W2318534094 hasConcept C71924100 @default.
- W2318534094 hasConcept C75606506 @default.
- W2318534094 hasConcept C77019957 @default.
- W2318534094 hasConceptScore W2318534094C110251889 @default.
- W2318534094 hasConceptScore W2318534094C111498074 @default.
- W2318534094 hasConceptScore W2318534094C115903868 @default.
- W2318534094 hasConceptScore W2318534094C127413603 @default.
- W2318534094 hasConceptScore W2318534094C142724271 @default.
- W2318534094 hasConceptScore W2318534094C149635348 @default.
- W2318534094 hasConceptScore W2318534094C154488198 @default.
- W2318534094 hasConceptScore W2318534094C167822520 @default.
- W2318534094 hasConceptScore W2318534094C199360897 @default.
- W2318534094 hasConceptScore W2318534094C200601418 @default.
- W2318534094 hasConceptScore W2318534094C204787440 @default.
- W2318534094 hasConceptScore W2318534094C2524010 @default.
- W2318534094 hasConceptScore W2318534094C2777904410 @default.
- W2318534094 hasConceptScore W2318534094C2780385302 @default.
- W2318534094 hasConceptScore W2318534094C2988765172 @default.
- W2318534094 hasConceptScore W2318534094C33923547 @default.
- W2318534094 hasConceptScore W2318534094C41008148 @default.
- W2318534094 hasConceptScore W2318534094C48103436 @default.
- W2318534094 hasConceptScore W2318534094C71008984 @default.
- W2318534094 hasConceptScore W2318534094C71924100 @default.
- W2318534094 hasConceptScore W2318534094C75606506 @default.
- W2318534094 hasConceptScore W2318534094C77019957 @default.
- W2318534094 hasIssue "3" @default.
- W2318534094 hasLocation W23185340941 @default.
- W2318534094 hasOpenAccess W2318534094 @default.
- W2318534094 hasPrimaryLocation W23185340941 @default.
- W2318534094 hasRelatedWork W1532337740 @default.
- W2318534094 hasRelatedWork W1825148885 @default.
- W2318534094 hasRelatedWork W1979040956 @default.
- W2318534094 hasRelatedWork W2087107052 @default.
- W2318534094 hasRelatedWork W2115764319 @default.
- W2318534094 hasRelatedWork W2149391410 @default.
- W2318534094 hasRelatedWork W2157261844 @default.
- W2318534094 hasRelatedWork W2370841479 @default.
- W2318534094 hasRelatedWork W2535491964 @default.
- W2318534094 hasRelatedWork W4254808108 @default.
- W2318534094 hasVolume "6" @default.
- W2318534094 isParatext "false" @default.
- W2318534094 isRetracted "false" @default.
- W2318534094 magId "2318534094" @default.
- W2318534094 workType "article" @default.