FRINK Linked Data Fragments server

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

• W2146155152 endingPage "177" @default.
• W2146155152 startingPage "151" @default.
• W2146155152 abstract "This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped onto CSP expressions. SystemCSP is a graphical design specification language aimed to serve as a basis for the specification offormally verifiable component-based designs of distributed real-time systems. It aims to be a graphical formalism that covers various aspects needed for the design of distributed real-time systems in single framework.Keywords. CSP, Formal methods, Graphical modeling" @default.
• W2146155152 created "2016-06-24" @default.
• W2146155152 creator A5000640088 @default.
• W2146155152 creator A5002630453 @default.
• W2146155152 date "2006-09-17" @default.
• W2146155152 modified "2023-09-26" @default.
• W2146155152 title "SystemCSP - Visual Notation" @default.
• W2146155152 cites W1482242212 @default.
• W2146155152 cites W1493249179 @default.
• W2146155152 cites W1571487936 @default.
• W2146155152 cites W1974485040 @default.
• W2146155152 cites W2060910670 @default.
• W2146155152 cites W2129384397 @default.
• W2146155152 cites W2166312659 @default.
• W2146155152 cites W2167500728 @default.
• W2146155152 cites W40959057 @default.
• W2146155152 hasPublicationYear "2006" @default.
• W2146155152 type Work @default.
• W2146155152 sameAs 2146155152 @default.
• W2146155152 citedByCount "1" @default.
• W2146155152 crossrefType "proceedings-article" @default.
• W2146155152 hasAuthorship W2146155152A5000640088 @default.
• W2146155152 hasAuthorship W2146155152A5002630453 @default.
• W2146155152 hasConcept C111498074 @default.
• W2146155152 hasConcept C116253237 @default.
• W2146155152 hasConcept C121332964 @default.
• W2146155152 hasConcept C142362112 @default.
• W2146155152 hasConcept C145644426 @default.
• W2146155152 hasConcept C153349607 @default.
• W2146155152 hasConcept C155214134 @default.
• W2146155152 hasConcept C156325763 @default.
• W2146155152 hasConcept C168167062 @default.
• W2146155152 hasConcept C177264268 @default.
• W2146155152 hasConcept C184337299 @default.
• W2146155152 hasConcept C199360897 @default.
• W2146155152 hasConcept C201677973 @default.
• W2146155152 hasConcept C2777904410 @default.
• W2146155152 hasConcept C2780330621 @default.
• W2146155152 hasConcept C33923547 @default.
• W2146155152 hasConcept C41008148 @default.
• W2146155152 hasConcept C45357846 @default.
• W2146155152 hasConcept C558565934 @default.
• W2146155152 hasConcept C73301696 @default.
• W2146155152 hasConcept C75606506 @default.
• W2146155152 hasConcept C80444323 @default.
• W2146155152 hasConcept C85847156 @default.
• W2146155152 hasConcept C94375191 @default.
• W2146155152 hasConcept C97355855 @default.
• W2146155152 hasConceptScore W2146155152C111498074 @default.
• W2146155152 hasConceptScore W2146155152C116253237 @default.
• W2146155152 hasConceptScore W2146155152C121332964 @default.
• W2146155152 hasConceptScore W2146155152C142362112 @default.
• W2146155152 hasConceptScore W2146155152C145644426 @default.
• W2146155152 hasConceptScore W2146155152C153349607 @default.
• W2146155152 hasConceptScore W2146155152C155214134 @default.
• W2146155152 hasConceptScore W2146155152C156325763 @default.
• W2146155152 hasConceptScore W2146155152C168167062 @default.
• W2146155152 hasConceptScore W2146155152C177264268 @default.
• W2146155152 hasConceptScore W2146155152C184337299 @default.
• W2146155152 hasConceptScore W2146155152C199360897 @default.
• W2146155152 hasConceptScore W2146155152C201677973 @default.
• W2146155152 hasConceptScore W2146155152C2777904410 @default.
• W2146155152 hasConceptScore W2146155152C2780330621 @default.
• W2146155152 hasConceptScore W2146155152C33923547 @default.
• W2146155152 hasConceptScore W2146155152C41008148 @default.
• W2146155152 hasConceptScore W2146155152C45357846 @default.
• W2146155152 hasConceptScore W2146155152C558565934 @default.
• W2146155152 hasConceptScore W2146155152C73301696 @default.
• W2146155152 hasConceptScore W2146155152C75606506 @default.
• W2146155152 hasConceptScore W2146155152C80444323 @default.
• W2146155152 hasConceptScore W2146155152C85847156 @default.
• W2146155152 hasConceptScore W2146155152C94375191 @default.
• W2146155152 hasConceptScore W2146155152C97355855 @default.
• W2146155152 hasLocation W21461551521 @default.
• W2146155152 hasOpenAccess W2146155152 @default.
• W2146155152 hasPrimaryLocation W21461551521 @default.
• W2146155152 hasRelatedWork W1538495033 @default.
• W2146155152 hasRelatedWork W1592601107 @default.
• W2146155152 hasRelatedWork W168636895 @default.
• W2146155152 hasRelatedWork W1861333731 @default.
• W2146155152 hasRelatedWork W1874395638 @default.
• W2146155152 hasRelatedWork W1875634929 @default.
• W2146155152 hasRelatedWork W1950355173 @default.
• W2146155152 hasRelatedWork W1950917686 @default.
• W2146155152 hasRelatedWork W1974228119 @default.
• W2146155152 hasRelatedWork W1985087614 @default.
• W2146155152 hasRelatedWork W2020988764 @default.
• W2146155152 hasRelatedWork W2062371854 @default.
• W2146155152 hasRelatedWork W2073829931 @default.
• W2146155152 hasRelatedWork W2128487608 @default.
• W2146155152 hasRelatedWork W2151757260 @default.
• W2146155152 hasRelatedWork W2152205327 @default.
• W2146155152 hasRelatedWork W2160019730 @default.
• W2146155152 hasRelatedWork W2484544739 @default.
• W2146155152 hasRelatedWork W1934659820 @default.
• W2146155152 hasRelatedWork W2574522215 @default.
• W2146155152 isParatext "false" @default.
• W2146155152 isRetracted "false" @default.

• next