Matches in SemOpenAlex for { <https://semopenalex.org/work/W191736703> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W191736703 abstract "The refinement calculus is proving a useful tool for the specification and refinement of sequential processes. In this paper we contend that it is also useful in the timed case. This paper displays the use of the refinement calculus for a small embedded system." @default.
- W191736703 created "2016-06-24" @default.
- W191736703 creator A5054584529 @default.
- W191736703 creator A5077557044 @default.
- W191736703 date "1991-01-01" @default.
- W191736703 modified "2023-10-05" @default.
- W191736703 title "A Case Study in Timed Refinement: A Central Heater" @default.
- W191736703 cites W2011444209 @default.
- W191736703 doi "https://doi.org/10.1007/978-1-4471-3756-6_8" @default.
- W191736703 hasPublicationYear "1991" @default.
- W191736703 type Work @default.
- W191736703 sameAs 191736703 @default.
- W191736703 citedByCount "15" @default.
- W191736703 crossrefType "book-chapter" @default.
- W191736703 hasAuthorship W191736703A5054584529 @default.
- W191736703 hasAuthorship W191736703A5077557044 @default.
- W191736703 hasConcept C41008148 @default.
- W191736703 hasConceptScore W191736703C41008148 @default.
- W191736703 hasLocation W1917367031 @default.
- W191736703 hasOpenAccess W191736703 @default.
- W191736703 hasPrimaryLocation W1917367031 @default.
- W191736703 hasRelatedWork W1596801655 @default.
- W191736703 hasRelatedWork W2130043461 @default.
- W191736703 hasRelatedWork W2350741829 @default.
- W191736703 hasRelatedWork W2358668433 @default.
- W191736703 hasRelatedWork W2376932109 @default.
- W191736703 hasRelatedWork W2382290278 @default.
- W191736703 hasRelatedWork W2390279801 @default.
- W191736703 hasRelatedWork W2748952813 @default.
- W191736703 hasRelatedWork W2899084033 @default.
- W191736703 hasRelatedWork W2530322880 @default.
- W191736703 isParatext "false" @default.
- W191736703 isRetracted "false" @default.
- W191736703 magId "191736703" @default.
- W191736703 workType "book-chapter" @default.