Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003577191> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2003577191 abstract "Abstract A formal method is proposed for the specification and verification of embedded real-time systems. We consider distributed systems in which parallel processes communicate by sending messages along synchronous or asynchronous channels. To verify that a program satisfies a specification, a compositional proof system is given. Compositionality enables verification during the process of top-down program design. This is illustrated by an example of a rail road crossing. Starting from an assertional specification, we design a program that controls lamps and barriers using information from sensors that signal the passage of trains at a certain distance from the crossing." @default.
- W2003577191 created "2016-06-24" @default.
- W2003577191 creator A5091169985 @default.
- W2003577191 date "1992-01-01" @default.
- W2003577191 modified "2023-09-27" @default.
- W2003577191 title "Top-down design of embedded real-time AI systems" @default.
- W2003577191 cites W2111706174 @default.
- W2003577191 cites W2142210186 @default.
- W2003577191 cites W3146075203 @default.
- W2003577191 doi "https://doi.org/10.1016/s0066-4138(09)91074-6" @default.
- W2003577191 hasPublicationYear "1992" @default.
- W2003577191 type Work @default.
- W2003577191 sameAs 2003577191 @default.
- W2003577191 citedByCount "0" @default.
- W2003577191 crossrefType "journal-article" @default.
- W2003577191 hasAuthorship W2003577191A5091169985 @default.
- W2003577191 hasConcept C111498074 @default.
- W2003577191 hasConcept C116253237 @default.
- W2003577191 hasConcept C120314980 @default.
- W2003577191 hasConcept C121375916 @default.
- W2003577191 hasConcept C149635348 @default.
- W2003577191 hasConcept C151319957 @default.
- W2003577191 hasConcept C154945302 @default.
- W2003577191 hasConcept C190839683 @default.
- W2003577191 hasConcept C199360897 @default.
- W2003577191 hasConcept C205649164 @default.
- W2003577191 hasConcept C2779843651 @default.
- W2003577191 hasConcept C31258907 @default.
- W2003577191 hasConcept C41008148 @default.
- W2003577191 hasConcept C58640448 @default.
- W2003577191 hasConcept C75606506 @default.
- W2003577191 hasConcept C79403827 @default.
- W2003577191 hasConcept C98045186 @default.
- W2003577191 hasConceptScore W2003577191C111498074 @default.
- W2003577191 hasConceptScore W2003577191C116253237 @default.
- W2003577191 hasConceptScore W2003577191C120314980 @default.
- W2003577191 hasConceptScore W2003577191C121375916 @default.
- W2003577191 hasConceptScore W2003577191C149635348 @default.
- W2003577191 hasConceptScore W2003577191C151319957 @default.
- W2003577191 hasConceptScore W2003577191C154945302 @default.
- W2003577191 hasConceptScore W2003577191C190839683 @default.
- W2003577191 hasConceptScore W2003577191C199360897 @default.
- W2003577191 hasConceptScore W2003577191C205649164 @default.
- W2003577191 hasConceptScore W2003577191C2779843651 @default.
- W2003577191 hasConceptScore W2003577191C31258907 @default.
- W2003577191 hasConceptScore W2003577191C41008148 @default.
- W2003577191 hasConceptScore W2003577191C58640448 @default.
- W2003577191 hasConceptScore W2003577191C75606506 @default.
- W2003577191 hasConceptScore W2003577191C79403827 @default.
- W2003577191 hasConceptScore W2003577191C98045186 @default.
- W2003577191 hasLocation W20035771911 @default.
- W2003577191 hasOpenAccess W2003577191 @default.
- W2003577191 hasPrimaryLocation W20035771911 @default.
- W2003577191 hasRelatedWork W1511253854 @default.
- W2003577191 hasRelatedWork W1524666448 @default.
- W2003577191 hasRelatedWork W1545436911 @default.
- W2003577191 hasRelatedWork W1599681096 @default.
- W2003577191 hasRelatedWork W1601661836 @default.
- W2003577191 hasRelatedWork W1761476895 @default.
- W2003577191 hasRelatedWork W1937691642 @default.
- W2003577191 hasRelatedWork W1989940749 @default.
- W2003577191 hasRelatedWork W2018547349 @default.
- W2003577191 hasRelatedWork W2038952689 @default.
- W2003577191 hasRelatedWork W2045740884 @default.
- W2003577191 hasRelatedWork W2058177164 @default.
- W2003577191 hasRelatedWork W2146799255 @default.
- W2003577191 hasRelatedWork W2152216681 @default.
- W2003577191 hasRelatedWork W2153563266 @default.
- W2003577191 hasRelatedWork W2162162389 @default.
- W2003577191 hasRelatedWork W2171868738 @default.
- W2003577191 hasRelatedWork W2343317231 @default.
- W2003577191 hasRelatedWork W847255711 @default.
- W2003577191 hasRelatedWork W2933967478 @default.
- W2003577191 isParatext "false" @default.
- W2003577191 isRetracted "false" @default.
- W2003577191 magId "2003577191" @default.
- W2003577191 workType "article" @default.