Matches in SemOpenAlex for { <https://semopenalex.org/work/W4211115559> ?p ?o ?g. }
- W4211115559 endingPage "347" @default.
- W4211115559 startingPage "299" @default.
- W4211115559 abstract "Duration Calculus (DC) is an interval logic which was introduced to express and reason about models of real-time systems. DC was introduced by Zhou Chaochen, Tony Hoare and A.P. Ravn during the ProCoS I Project (ESPRIT BRA 3104, 1989–1991) [6]. Formal techniques for the construction of safetycritical systems were investigated in this project, and in an early case study of gas burner systems, conducted by E.V. Sørensen, A.P. Ravn and H. Rischel, it turned out that certain requirements for such systems were not expressible in the real-time formalisms which were available at that time." @default.
- W4211115559 created "2022-02-13" @default.
- W4211115559 creator A5030616612 @default.
- W4211115559 date "2007-12-05" @default.
- W4211115559 modified "2023-09-26" @default.
- W4211115559 title "Duration Calculus" @default.
- W4211115559 cites W130102441 @default.
- W4211115559 cites W137674707 @default.
- W4211115559 cites W139661100 @default.
- W4211115559 cites W1484725149 @default.
- W4211115559 cites W1493987013 @default.
- W4211115559 cites W1499407607 @default.
- W4211115559 cites W1501306521 @default.
- W4211115559 cites W1503394241 @default.
- W4211115559 cites W1503413362 @default.
- W4211115559 cites W1506458079 @default.
- W4211115559 cites W1507695589 @default.
- W4211115559 cites W1508956012 @default.
- W4211115559 cites W1512712729 @default.
- W4211115559 cites W1514882327 @default.
- W4211115559 cites W1525512650 @default.
- W4211115559 cites W1528592560 @default.
- W4211115559 cites W1533126827 @default.
- W4211115559 cites W1533438666 @default.
- W4211115559 cites W1542234847 @default.
- W4211115559 cites W1543522563 @default.
- W4211115559 cites W1566382148 @default.
- W4211115559 cites W1566446956 @default.
- W4211115559 cites W1573589782 @default.
- W4211115559 cites W1575770272 @default.
- W4211115559 cites W1582882984 @default.
- W4211115559 cites W1585411267 @default.
- W4211115559 cites W1586633463 @default.
- W4211115559 cites W1593278247 @default.
- W4211115559 cites W1601195943 @default.
- W4211115559 cites W1605439083 @default.
- W4211115559 cites W1750187267 @default.
- W4211115559 cites W1826381068 @default.
- W4211115559 cites W1829576798 @default.
- W4211115559 cites W1865405177 @default.
- W4211115559 cites W1882505084 @default.
- W4211115559 cites W1978654873 @default.
- W4211115559 cites W1983682288 @default.
- W4211115559 cites W1986177331 @default.
- W4211115559 cites W1992189872 @default.
- W4211115559 cites W1993271127 @default.
- W4211115559 cites W1993397971 @default.
- W4211115559 cites W1995691455 @default.
- W4211115559 cites W1999122486 @default.
- W4211115559 cites W2000916035 @default.
- W4211115559 cites W2011132281 @default.
- W4211115559 cites W2020762354 @default.
- W4211115559 cites W2026629052 @default.
- W4211115559 cites W2038569232 @default.
- W4211115559 cites W2056359803 @default.
- W4211115559 cites W205978083 @default.
- W4211115559 cites W2072189420 @default.
- W4211115559 cites W2072883183 @default.
- W4211115559 cites W2088312079 @default.
- W4211115559 cites W2092486735 @default.
- W4211115559 cites W2101237024 @default.
- W4211115559 cites W2103313298 @default.
- W4211115559 cites W2105750191 @default.
- W4211115559 cites W2107168574 @default.
- W4211115559 cites W2107632022 @default.
- W4211115559 cites W2109488193 @default.
- W4211115559 cites W2114260919 @default.
- W4211115559 cites W2114644674 @default.
- W4211115559 cites W2117133880 @default.
- W4211115559 cites W2122540544 @default.
- W4211115559 cites W2125614702 @default.
- W4211115559 cites W2133939589 @default.
- W4211115559 cites W2137720779 @default.
- W4211115559 cites W2146943019 @default.
- W4211115559 cites W2161484642 @default.
- W4211115559 cites W2166721364 @default.
- W4211115559 cites W2166775836 @default.
- W4211115559 cites W2167467151 @default.
- W4211115559 cites W2171285571 @default.
- W4211115559 cites W2253502498 @default.
- W4211115559 cites W2912480327 @default.
- W4211115559 cites W381607888 @default.
- W4211115559 cites W4205178514 @default.
- W4211115559 cites W4211144022 @default.
- W4211115559 cites W4232391339 @default.
- W4211115559 cites W4241191671 @default.
- W4211115559 cites W69811828 @default.
- W4211115559 doi "https://doi.org/10.1007/978-3-540-74107-7_6" @default.
- W4211115559 hasPublicationYear "2007" @default.
- W4211115559 type Work @default.
- W4211115559 citedByCount "2" @default.
- W4211115559 crossrefType "book-chapter" @default.
- W4211115559 hasAuthorship W4211115559A5030616612 @default.
- W4211115559 hasConcept C112758219 @default.
- W4211115559 hasConcept C124952713 @default.
- W4211115559 hasConcept C142362112 @default.
- W4211115559 hasConcept C171018156 @default.
- W4211115559 hasConcept C199343813 @default.