Matches in SemOpenAlex for { <https://semopenalex.org/work/W342103818> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W342103818 abstract "Abstract This paper considers the use of the formal methods CSP and Timed CSP in the specification, design and verification of a hard real-time industrial application. The application involves the control of a slider inserting periodically into the periphery of a high speed drum. A specification for the hazard free operation of the system is formulated and two models are introduced, one with timing constraints and the other without. The safety and liveness properties of the models are contrasted and three semantic domains.(the Traces model, the Failures model and the Timed Failures model) are employed to show that the design satisfies the specification . The suitability of the design is assessed." @default.
- W342103818 created "2016-06-24" @default.
- W342103818 creator A5066071962 @default.
- W342103818 creator A5066559557 @default.
- W342103818 date "1992-06-01" @default.
- W342103818 modified "2023-09-25" @default.
- W342103818 title "The Specification, Design and Verification of Real-Time Embedded Control Logic using CSP and TCSP" @default.
- W342103818 cites W1558437246 @default.
- W342103818 cites W2079946612 @default.
- W342103818 cites W2102097307 @default.
- W342103818 cites W2132334337 @default.
- W342103818 cites W2144545266 @default.
- W342103818 cites W2263946786 @default.
- W342103818 cites W98978725 @default.
- W342103818 doi "https://doi.org/10.1016/s1474-6670(17)50142-1" @default.
- W342103818 hasPublicationYear "1992" @default.
- W342103818 type Work @default.
- W342103818 sameAs 342103818 @default.
- W342103818 citedByCount "1" @default.
- W342103818 crossrefType "journal-article" @default.
- W342103818 hasAuthorship W342103818A5066071962 @default.
- W342103818 hasAuthorship W342103818A5066559557 @default.
- W342103818 hasConcept C110251889 @default.
- W342103818 hasConcept C111498074 @default.
- W342103818 hasConcept C116253237 @default.
- W342103818 hasConcept C127413603 @default.
- W342103818 hasConcept C149635348 @default.
- W342103818 hasConcept C15569618 @default.
- W342103818 hasConcept C178790620 @default.
- W342103818 hasConcept C185592680 @default.
- W342103818 hasConcept C199360897 @default.
- W342103818 hasConcept C200601418 @default.
- W342103818 hasConcept C25016198 @default.
- W342103818 hasConcept C41008148 @default.
- W342103818 hasConcept C49261128 @default.
- W342103818 hasConceptScore W342103818C110251889 @default.
- W342103818 hasConceptScore W342103818C111498074 @default.
- W342103818 hasConceptScore W342103818C116253237 @default.
- W342103818 hasConceptScore W342103818C127413603 @default.
- W342103818 hasConceptScore W342103818C149635348 @default.
- W342103818 hasConceptScore W342103818C15569618 @default.
- W342103818 hasConceptScore W342103818C178790620 @default.
- W342103818 hasConceptScore W342103818C185592680 @default.
- W342103818 hasConceptScore W342103818C199360897 @default.
- W342103818 hasConceptScore W342103818C200601418 @default.
- W342103818 hasConceptScore W342103818C25016198 @default.
- W342103818 hasConceptScore W342103818C41008148 @default.
- W342103818 hasConceptScore W342103818C49261128 @default.
- W342103818 hasLocation W3421038181 @default.
- W342103818 hasOpenAccess W342103818 @default.
- W342103818 hasPrimaryLocation W3421038181 @default.
- W342103818 hasRelatedWork W119055329 @default.
- W342103818 hasRelatedWork W133896192 @default.
- W342103818 hasRelatedWork W136037141 @default.
- W342103818 hasRelatedWork W1532337740 @default.
- W342103818 hasRelatedWork W1542804551 @default.
- W342103818 hasRelatedWork W1582888271 @default.
- W342103818 hasRelatedWork W1584705600 @default.
- W342103818 hasRelatedWork W1904803564 @default.
- W342103818 hasRelatedWork W1986558577 @default.
- W342103818 hasRelatedWork W2006127261 @default.
- W342103818 hasRelatedWork W2094686007 @default.
- W342103818 hasRelatedWork W2121341646 @default.
- W342103818 hasRelatedWork W2182999678 @default.
- W342103818 hasRelatedWork W2313144851 @default.
- W342103818 hasRelatedWork W2358586170 @default.
- W342103818 hasRelatedWork W2385451775 @default.
- W342103818 hasRelatedWork W2508564296 @default.
- W342103818 hasRelatedWork W2743504025 @default.
- W342103818 hasRelatedWork W2979742807 @default.
- W342103818 hasRelatedWork W2185599028 @default.
- W342103818 isParatext "false" @default.
- W342103818 isRetracted "false" @default.
- W342103818 magId "342103818" @default.
- W342103818 workType "article" @default.