Matches in SemOpenAlex for { <https://semopenalex.org/work/W198392526> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W198392526 abstract "A flat representation of a realistic embedded system can be too big and complex to handle and understand. In order to represent efficiently large systems, a mechanism for hierarchical com-position is needed so that the model may be constructed in a structured manner and composed of simpler units easily comprehensible by the designer at each description level. In this report we formally define the notion of hierarchy for a Petri net based representation used for mode-ling embedded systems. We show how small parts of a large system may be transformed by using the concept of hierarchy as well as the advantages of a transformational approach in the verification of embedded systems. A real-life example illustrates the feasibility of our approach on practical applications. This work has been done in the frame of the SAVE project, which aims to study the specification and verification of heterogeneous electronic systems." @default.
- W198392526 created "2016-06-24" @default.
- W198392526 creator A5001844771 @default.
- W198392526 creator A5003372884 @default.
- W198392526 creator A5090531888 @default.
- W198392526 date "2001-01-01" @default.
- W198392526 modified "2023-09-22" @default.
- W198392526 title "Hierarchies for the Modeling and Verification of Embedded Systems" @default.
- W198392526 cites W1496017552 @default.
- W198392526 cites W1527107169 @default.
- W198392526 cites W1591727448 @default.
- W198392526 cites W1791555320 @default.
- W198392526 cites W1978380916 @default.
- W198392526 cites W1980926994 @default.
- W198392526 cites W1997871183 @default.
- W198392526 cites W2002568004 @default.
- W198392526 cites W2072757195 @default.
- W198392526 cites W2085627526 @default.
- W198392526 cites W2117189826 @default.
- W198392526 cites W2118669027 @default.
- W198392526 cites W2137947851 @default.
- W198392526 cites W2153275071 @default.
- W198392526 cites W2153439859 @default.
- W198392526 cites W2396167915 @default.
- W198392526 hasPublicationYear "2001" @default.
- W198392526 type Work @default.
- W198392526 sameAs 198392526 @default.
- W198392526 citedByCount "1" @default.
- W198392526 crossrefType "journal-article" @default.
- W198392526 hasAuthorship W198392526A5001844771 @default.
- W198392526 hasAuthorship W198392526A5003372884 @default.
- W198392526 hasAuthorship W198392526A5090531888 @default.
- W198392526 hasConcept C111498074 @default.
- W198392526 hasConcept C126042441 @default.
- W198392526 hasConcept C162324750 @default.
- W198392526 hasConcept C17744445 @default.
- W198392526 hasConcept C199360897 @default.
- W198392526 hasConcept C199539241 @default.
- W198392526 hasConcept C2776359362 @default.
- W198392526 hasConcept C31170391 @default.
- W198392526 hasConcept C34447519 @default.
- W198392526 hasConcept C38677869 @default.
- W198392526 hasConcept C41008148 @default.
- W198392526 hasConcept C76155785 @default.
- W198392526 hasConcept C80444323 @default.
- W198392526 hasConcept C94625758 @default.
- W198392526 hasConceptScore W198392526C111498074 @default.
- W198392526 hasConceptScore W198392526C126042441 @default.
- W198392526 hasConceptScore W198392526C162324750 @default.
- W198392526 hasConceptScore W198392526C17744445 @default.
- W198392526 hasConceptScore W198392526C199360897 @default.
- W198392526 hasConceptScore W198392526C199539241 @default.
- W198392526 hasConceptScore W198392526C2776359362 @default.
- W198392526 hasConceptScore W198392526C31170391 @default.
- W198392526 hasConceptScore W198392526C34447519 @default.
- W198392526 hasConceptScore W198392526C38677869 @default.
- W198392526 hasConceptScore W198392526C41008148 @default.
- W198392526 hasConceptScore W198392526C76155785 @default.
- W198392526 hasConceptScore W198392526C80444323 @default.
- W198392526 hasConceptScore W198392526C94625758 @default.
- W198392526 hasLocation W1983925261 @default.
- W198392526 hasOpenAccess W198392526 @default.
- W198392526 hasPrimaryLocation W1983925261 @default.
- W198392526 hasRelatedWork W1551332717 @default.
- W198392526 hasRelatedWork W1996632489 @default.
- W198392526 hasRelatedWork W2018779008 @default.
- W198392526 hasRelatedWork W2018826618 @default.
- W198392526 hasRelatedWork W2065027354 @default.
- W198392526 hasRelatedWork W2088971013 @default.
- W198392526 hasRelatedWork W2095828403 @default.
- W198392526 hasRelatedWork W2102751941 @default.
- W198392526 hasRelatedWork W2112461649 @default.
- W198392526 hasRelatedWork W2120798795 @default.
- W198392526 hasRelatedWork W2122620839 @default.
- W198392526 hasRelatedWork W2123998619 @default.
- W198392526 hasRelatedWork W2133050925 @default.
- W198392526 hasRelatedWork W2133915370 @default.
- W198392526 hasRelatedWork W2134658184 @default.
- W198392526 hasRelatedWork W2154476363 @default.
- W198392526 hasRelatedWork W2394934717 @default.
- W198392526 hasRelatedWork W2571739046 @default.
- W198392526 hasRelatedWork W3113090863 @default.
- W198392526 hasRelatedWork W829764197 @default.
- W198392526 isParatext "false" @default.
- W198392526 isRetracted "false" @default.
- W198392526 magId "198392526" @default.
- W198392526 workType "article" @default.