Matches in SemOpenAlex for { <https://semopenalex.org/work/W1837470521> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1837470521 abstract "In this paper, we demonstrate the usefulness of functional abstractions in studying the correctness of the interactions (or interfaces) among objects composed into a design model of a system. To illustrate the approach, the focus is on a simple manufacturing system represented by a Petri net model. Place invariants are used to demonstrate the correctness of the interactions among objects constituting model of the system." @default.
- W1837470521 created "2016-06-24" @default.
- W1837470521 creator A5002565039 @default.
- W1837470521 creator A5003373264 @default.
- W1837470521 date "2002-12-24" @default.
- W1837470521 modified "2023-09-26" @default.
- W1837470521 title "Validating correctness of interfaces of design models using functional abstractions" @default.
- W1837470521 cites W1895241547 @default.
- W1837470521 cites W2118350713 @default.
- W1837470521 cites W2122586947 @default.
- W1837470521 cites W2158814988 @default.
- W1837470521 doi "https://doi.org/10.1109/etfa.1996.573747" @default.
- W1837470521 hasPublicationYear "2002" @default.
- W1837470521 type Work @default.
- W1837470521 sameAs 1837470521 @default.
- W1837470521 citedByCount "0" @default.
- W1837470521 crossrefType "proceedings-article" @default.
- W1837470521 hasAuthorship W1837470521A5002565039 @default.
- W1837470521 hasAuthorship W1837470521A5003373264 @default.
- W1837470521 hasConcept C111472728 @default.
- W1837470521 hasConcept C120314980 @default.
- W1837470521 hasConcept C120665830 @default.
- W1837470521 hasConcept C121332964 @default.
- W1837470521 hasConcept C138885662 @default.
- W1837470521 hasConcept C192209626 @default.
- W1837470521 hasConcept C199360897 @default.
- W1837470521 hasConcept C2780586882 @default.
- W1837470521 hasConcept C38677869 @default.
- W1837470521 hasConcept C41008148 @default.
- W1837470521 hasConcept C55439883 @default.
- W1837470521 hasConcept C80444323 @default.
- W1837470521 hasConceptScore W1837470521C111472728 @default.
- W1837470521 hasConceptScore W1837470521C120314980 @default.
- W1837470521 hasConceptScore W1837470521C120665830 @default.
- W1837470521 hasConceptScore W1837470521C121332964 @default.
- W1837470521 hasConceptScore W1837470521C138885662 @default.
- W1837470521 hasConceptScore W1837470521C192209626 @default.
- W1837470521 hasConceptScore W1837470521C199360897 @default.
- W1837470521 hasConceptScore W1837470521C2780586882 @default.
- W1837470521 hasConceptScore W1837470521C38677869 @default.
- W1837470521 hasConceptScore W1837470521C41008148 @default.
- W1837470521 hasConceptScore W1837470521C55439883 @default.
- W1837470521 hasConceptScore W1837470521C80444323 @default.
- W1837470521 hasLocation W18374705211 @default.
- W1837470521 hasOpenAccess W1837470521 @default.
- W1837470521 hasPrimaryLocation W18374705211 @default.
- W1837470521 hasRelatedWork W1502195842 @default.
- W1837470521 hasRelatedWork W1520171014 @default.
- W1837470521 hasRelatedWork W1544222715 @default.
- W1837470521 hasRelatedWork W1578624765 @default.
- W1837470521 hasRelatedWork W1592799297 @default.
- W1837470521 hasRelatedWork W1855459128 @default.
- W1837470521 hasRelatedWork W1895241547 @default.
- W1837470521 hasRelatedWork W1968146805 @default.
- W1837470521 hasRelatedWork W2061143336 @default.
- W1837470521 hasRelatedWork W2061371739 @default.
- W1837470521 hasRelatedWork W2097222824 @default.
- W1837470521 hasRelatedWork W2102751941 @default.
- W1837470521 hasRelatedWork W2103225125 @default.
- W1837470521 hasRelatedWork W2112461649 @default.
- W1837470521 hasRelatedWork W2122586947 @default.
- W1837470521 hasRelatedWork W2134658184 @default.
- W1837470521 hasRelatedWork W2142707821 @default.
- W1837470521 hasRelatedWork W2148466007 @default.
- W1837470521 hasRelatedWork W2153821488 @default.
- W1837470521 hasRelatedWork W2899406902 @default.
- W1837470521 isParatext "false" @default.
- W1837470521 isRetracted "false" @default.
- W1837470521 magId "1837470521" @default.
- W1837470521 workType "article" @default.