FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106948603> ?p ?o ?g. }

• W2106948603 endingPage "334" @default.
• W2106948603 startingPage "301" @default.
• W2106948603 abstract "CSP-OZ-DC is a new combination of three well researched formal techniques for the specification of processes, data and time: CSP [Hoare 1985], Object-Z [Smith 2000], and Duration Calculus [Zhou et al. 1991]. This combination is illustrated by specifying the train controller of a case study on radio controlled railway crossings. The technical contribution of the paper is a smooth integration of the underlying semantic models and its use for verifying timing properties of CSP-OZ-DC specifications. This is done by combining the model-checkers FDR [Roscoe 1994] for CSP and UPPAAL [Bengtsson et al. 1997] for timed automata with a new tool f2u that transforms FDR transition systems and certain patterns of Duration Calculus formulae into timed automata. This approach is illustrated by the example of a vending machine." @default.
• W2106948603 created "2016-06-24" @default.
• W2106948603 creator A5041119437 @default.
• W2106948603 creator A5084773409 @default.
• W2106948603 date "2002-12-01" @default.
• W2106948603 modified "2023-09-28" @default.
• W2106948603 title "CSP-OZ-DC: a combination of specification techniques for processes, data and time" @default.
• W2106948603 cites W123523327 @default.
• W2106948603 cites W1497559908 @default.
• W2106948603 cites W1535836754 @default.
• W2106948603 cites W1542703180 @default.
• W2106948603 cites W1548986960 @default.
• W2106948603 cites W1564637213 @default.
• W2106948603 cites W1588335385 @default.
• W2106948603 cites W1589780954 @default.
• W2106948603 cites W1599593529 @default.
• W2106948603 cites W1604959559 @default.
• W2106948603 cites W1783589473 @default.
• W2106948603 cites W1851630800 @default.
• W2106948603 cites W1964399638 @default.
• W2106948603 cites W1978619790 @default.
• W2106948603 cites W1992552504 @default.
• W2106948603 cites W2000916035 @default.
• W2106948603 cites W2006218759 @default.
• W2106948603 cites W2010698657 @default.
• W2106948603 cites W2073540225 @default.
• W2106948603 cites W2109788613 @default.
• W2106948603 cites W2119494075 @default.
• W2106948603 cites W2129384397 @default.
• W2106948603 cites W2133939589 @default.
• W2106948603 cites W2136920408 @default.
• W2106948603 cites W2137615678 @default.
• W2106948603 cites W2144609998 @default.
• W2106948603 cites W2144973245 @default.
• W2106948603 cites W2150346894 @default.
• W2106948603 cites W2150436715 @default.
• W2106948603 cites W2157144873 @default.
• W2106948603 cites W2159765281 @default.
• W2106948603 cites W2160883697 @default.
• W2106948603 cites W2166775836 @default.
• W2106948603 cites W2167467151 @default.
• W2106948603 cites W2170100470 @default.
• W2106948603 cites W2176300081 @default.
• W2106948603 cites W2694136767 @default.
• W2106948603 cites W3144368627 @default.
• W2106948603 cites W3152568898 @default.
• W2106948603 cites W3160698033 @default.
• W2106948603 cites W624020015 @default.
• W2106948603 cites W2732937731 @default.
• W2106948603 cites W3142790043 @default.
• W2106948603 hasPublicationYear "2002" @default.
• W2106948603 type Work @default.
• W2106948603 sameAs 2106948603 @default.
• W2106948603 citedByCount "13" @default.
• W2106948603 countsByYear W21069486032012 @default.
• W2106948603 countsByYear W21069486032014 @default.
• W2106948603 countsByYear W21069486032016 @default.
• W2106948603 countsByYear W21069486032018 @default.
• W2106948603 crossrefType "journal-article" @default.
• W2106948603 hasAuthorship W2106948603A5041119437 @default.
• W2106948603 hasAuthorship W2106948603A5084773409 @default.
• W2106948603 hasConcept C110251889 @default.
• W2106948603 hasConcept C112505250 @default.
• W2106948603 hasConcept C112758219 @default.
• W2106948603 hasConcept C11413529 @default.
• W2106948603 hasConcept C116253237 @default.
• W2106948603 hasConcept C124952713 @default.
• W2106948603 hasConcept C142362112 @default.
• W2106948603 hasConcept C155214134 @default.
• W2106948603 hasConcept C156325763 @default.
• W2106948603 hasConcept C167822520 @default.
• W2106948603 hasConcept C184337299 @default.
• W2106948603 hasConcept C199360897 @default.
• W2106948603 hasConcept C41008148 @default.
• W2106948603 hasConcept C80444323 @default.
• W2106948603 hasConceptScore W2106948603C110251889 @default.
• W2106948603 hasConceptScore W2106948603C112505250 @default.
• W2106948603 hasConceptScore W2106948603C112758219 @default.
• W2106948603 hasConceptScore W2106948603C11413529 @default.
• W2106948603 hasConceptScore W2106948603C116253237 @default.
• W2106948603 hasConceptScore W2106948603C124952713 @default.
• W2106948603 hasConceptScore W2106948603C142362112 @default.
• W2106948603 hasConceptScore W2106948603C155214134 @default.
• W2106948603 hasConceptScore W2106948603C156325763 @default.
• W2106948603 hasConceptScore W2106948603C167822520 @default.
• W2106948603 hasConceptScore W2106948603C184337299 @default.
• W2106948603 hasConceptScore W2106948603C199360897 @default.
• W2106948603 hasConceptScore W2106948603C41008148 @default.
• W2106948603 hasConceptScore W2106948603C80444323 @default.
• W2106948603 hasIssue "4" @default.
• W2106948603 hasLocation W21069486031 @default.
• W2106948603 hasOpenAccess W2106948603 @default.
• W2106948603 hasPrimaryLocation W21069486031 @default.
• W2106948603 hasRelatedWork W123523327 @default.
• W2106948603 hasRelatedWork W1502684417 @default.
• W2106948603 hasRelatedWork W1503973138 @default.
• W2106948603 hasRelatedWork W1535836754 @default.
• W2106948603 hasRelatedWork W1564637213 @default.

• next