Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108028696> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2108028696 abstract "This paper aims at the development of an engineering technique for the construction of systems through the refinement of duration interval transitions. The theoretical system model is based on so-called interval time Petri nets. Duration interval transitions turn out to be a syntactical abbreviation for a certain structure of interval time Petri nets. The kind of refinement technique preserves the safety property and guarantees that the refined system behaves neither slower nor faster than the unrefined one. The application of our approach lies in the development of time correct system specifications." @default.
- W2108028696 created "2016-06-24" @default.
- W2108028696 creator A5002751710 @default.
- W2108028696 creator A5062574764 @default.
- W2108028696 creator A5076849323 @default.
- W2108028696 date "2002-11-07" @default.
- W2108028696 modified "2023-10-03" @default.
- W2108028696 title "Development of real-time system specifications through the refinement of duration interval Petri nets" @default.
- W2108028696 cites W143456117 @default.
- W2108028696 cites W1553245026 @default.
- W2108028696 cites W1567179050 @default.
- W2108028696 cites W2151612633 @default.
- W2108028696 cites W4231119717 @default.
- W2108028696 doi "https://doi.org/10.1109/icsmc.2000.884474" @default.
- W2108028696 hasPublicationYear "2002" @default.
- W2108028696 type Work @default.
- W2108028696 sameAs 2108028696 @default.
- W2108028696 citedByCount "3" @default.
- W2108028696 countsByYear W21080286962013 @default.
- W2108028696 countsByYear W21080286962015 @default.
- W2108028696 crossrefType "proceedings-article" @default.
- W2108028696 hasAuthorship W2108028696A5002751710 @default.
- W2108028696 hasAuthorship W2108028696A5062574764 @default.
- W2108028696 hasAuthorship W2108028696A5076849323 @default.
- W2108028696 hasConcept C112758219 @default.
- W2108028696 hasConcept C114614502 @default.
- W2108028696 hasConcept C120314980 @default.
- W2108028696 hasConcept C124952713 @default.
- W2108028696 hasConcept C136155141 @default.
- W2108028696 hasConcept C142362112 @default.
- W2108028696 hasConcept C197551870 @default.
- W2108028696 hasConcept C2778067643 @default.
- W2108028696 hasConcept C33923547 @default.
- W2108028696 hasConcept C38677869 @default.
- W2108028696 hasConcept C41008148 @default.
- W2108028696 hasConcept C79403827 @default.
- W2108028696 hasConceptScore W2108028696C112758219 @default.
- W2108028696 hasConceptScore W2108028696C114614502 @default.
- W2108028696 hasConceptScore W2108028696C120314980 @default.
- W2108028696 hasConceptScore W2108028696C124952713 @default.
- W2108028696 hasConceptScore W2108028696C136155141 @default.
- W2108028696 hasConceptScore W2108028696C142362112 @default.
- W2108028696 hasConceptScore W2108028696C197551870 @default.
- W2108028696 hasConceptScore W2108028696C2778067643 @default.
- W2108028696 hasConceptScore W2108028696C33923547 @default.
- W2108028696 hasConceptScore W2108028696C38677869 @default.
- W2108028696 hasConceptScore W2108028696C41008148 @default.
- W2108028696 hasConceptScore W2108028696C79403827 @default.
- W2108028696 hasLocation W21080286961 @default.
- W2108028696 hasOpenAccess W2108028696 @default.
- W2108028696 hasPrimaryLocation W21080286961 @default.
- W2108028696 hasRelatedWork W1560235170 @default.
- W2108028696 hasRelatedWork W1972910911 @default.
- W2108028696 hasRelatedWork W2001922003 @default.
- W2108028696 hasRelatedWork W2016588283 @default.
- W2108028696 hasRelatedWork W2108028696 @default.
- W2108028696 hasRelatedWork W2149797440 @default.
- W2108028696 hasRelatedWork W2149975385 @default.
- W2108028696 hasRelatedWork W2486029337 @default.
- W2108028696 hasRelatedWork W2537911696 @default.
- W2108028696 hasRelatedWork W4244333532 @default.
- W2108028696 isParatext "false" @default.
- W2108028696 isRetracted "false" @default.
- W2108028696 magId "2108028696" @default.
- W2108028696 workType "article" @default.