FRINK Linked Data Fragments server

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

• W2110588469 abstract "There is an important trend towards design processes based on the reuse of predesigned components. We propose a formal verification approach which smoothly integrates with a component based sys tem-level design methodology. Once a timed Petri Net model corre sponding to the interface logic has been produced the correctness of the system can be formally verified. The verification is based on the interface properties of the connected components and on abstract models of their functionality, without assuming any knowledge regarding their implementation. We have both developed the theo retical framework underlying the methodology and implemented an experimental environment using model checking techniques." @default.
• W2110588469 created "2016-06-24" @default.
• W2110588469 creator A5001844771 @default.
• W2110588469 creator A5003372884 @default.
• W2110588469 creator A5026711091 @default.
• W2110588469 date "2002-01-01" @default.
• W2110588469 modified "2023-10-02" @default.
• W2110588469 title "Formal verification in a component-based reuse methodology" @default.
• W2110588469 cites W1493249179 @default.
• W2110588469 cites W1497571013 @default.
• W2110588469 cites W1873191171 @default.
• W2110588469 cites W1895974704 @default.
• W2110588469 cites W1952110674 @default.
• W2110588469 cites W1986698883 @default.
• W2110588469 cites W2009965218 @default.
• W2110588469 cites W2061268816 @default.
• W2110588469 cites W2061438988 @default.
• W2110588469 cites W2080267935 @default.
• W2110588469 cites W2081883656 @default.
• W2110588469 cites W2100519472 @default.
• W2110588469 cites W2101481392 @default.
• W2110588469 cites W2101508170 @default.
• W2110588469 cites W2102380292 @default.
• W2110588469 cites W2112461649 @default.
• W2110588469 cites W2115968267 @default.
• W2110588469 cites W2117189826 @default.
• W2110588469 cites W2137035823 @default.
• W2110588469 cites W2142497484 @default.
• W2110588469 cites W2145163878 @default.
• W2110588469 cites W2150621341 @default.
• W2110588469 cites W2153275071 @default.
• W2110588469 cites W2153439859 @default.
• W2110588469 cites W2156208763 @default.
• W2110588469 cites W2340735175 @default.
• W2110588469 cites W2913459036 @default.
• W2110588469 doi "https://doi.org/10.1145/581199.581235" @default.
• W2110588469 hasPublicationYear "2002" @default.
• W2110588469 type Work @default.
• W2110588469 sameAs 2110588469 @default.
• W2110588469 citedByCount "11" @default.
• W2110588469 countsByYear W21105884692013 @default.
• W2110588469 countsByYear W21105884692015 @default.
• W2110588469 crossrefType "proceedings-article" @default.
• W2110588469 hasAuthorship W2110588469A5001844771 @default.
• W2110588469 hasAuthorship W2110588469A5003372884 @default.
• W2110588469 hasAuthorship W2110588469A5026711091 @default.
• W2110588469 hasConcept C110251889 @default.
• W2110588469 hasConcept C111498074 @default.
• W2110588469 hasConcept C111919701 @default.
• W2110588469 hasConcept C113843644 @default.
• W2110588469 hasConcept C115903868 @default.
• W2110588469 hasConcept C116253237 @default.
• W2110588469 hasConcept C121332964 @default.
• W2110588469 hasConcept C127413603 @default.
• W2110588469 hasConcept C129307140 @default.
• W2110588469 hasConcept C142284323 @default.
• W2110588469 hasConcept C157915830 @default.
• W2110588469 hasConcept C168167062 @default.
• W2110588469 hasConcept C186846655 @default.
• W2110588469 hasConcept C199360897 @default.
• W2110588469 hasConcept C206588197 @default.
• W2110588469 hasConcept C2777904410 @default.
• W2110588469 hasConcept C38677869 @default.
• W2110588469 hasConcept C41008148 @default.
• W2110588469 hasConcept C529173508 @default.
• W2110588469 hasConcept C548081761 @default.
• W2110588469 hasConcept C55439883 @default.
• W2110588469 hasConcept C62460635 @default.
• W2110588469 hasConcept C75606506 @default.
• W2110588469 hasConcept C97355855 @default.
• W2110588469 hasConceptScore W2110588469C110251889 @default.
• W2110588469 hasConceptScore W2110588469C111498074 @default.
• W2110588469 hasConceptScore W2110588469C111919701 @default.
• W2110588469 hasConceptScore W2110588469C113843644 @default.
• W2110588469 hasConceptScore W2110588469C115903868 @default.
• W2110588469 hasConceptScore W2110588469C116253237 @default.
• W2110588469 hasConceptScore W2110588469C121332964 @default.
• W2110588469 hasConceptScore W2110588469C127413603 @default.
• W2110588469 hasConceptScore W2110588469C129307140 @default.
• W2110588469 hasConceptScore W2110588469C142284323 @default.
• W2110588469 hasConceptScore W2110588469C157915830 @default.
• W2110588469 hasConceptScore W2110588469C168167062 @default.
• W2110588469 hasConceptScore W2110588469C186846655 @default.
• W2110588469 hasConceptScore W2110588469C199360897 @default.
• W2110588469 hasConceptScore W2110588469C206588197 @default.
• W2110588469 hasConceptScore W2110588469C2777904410 @default.
• W2110588469 hasConceptScore W2110588469C38677869 @default.
• W2110588469 hasConceptScore W2110588469C41008148 @default.
• W2110588469 hasConceptScore W2110588469C529173508 @default.
• W2110588469 hasConceptScore W2110588469C548081761 @default.
• W2110588469 hasConceptScore W2110588469C55439883 @default.
• W2110588469 hasConceptScore W2110588469C62460635 @default.
• W2110588469 hasConceptScore W2110588469C75606506 @default.
• W2110588469 hasConceptScore W2110588469C97355855 @default.
• W2110588469 hasLocation W21105884691 @default.
• W2110588469 hasOpenAccess W2110588469 @default.
• W2110588469 hasPrimaryLocation W21105884691 @default.
• W2110588469 hasRelatedWork W1491738330 @default.
• W2110588469 hasRelatedWork W1559347358 @default.
• W2110588469 hasRelatedWork W1742691233 @default.

• next