Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103499994> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2103499994 endingPage "413" @default.
- W2103499994 startingPage "391" @default.
- W2103499994 abstract "The modelling and analysis of multi-component discrete event systems is a challenging research area. Over 30 years, modelling and simulation research of discrete event system specification (DEVS) has been developed with (1) dense-time, (2) the I/O concept, and (3) hierarchical model construction. Nevertheless, DEVS model verification research began relatively recently considering the whole DEVS research history. In the meantime, over 15 years, the automata theory has been developed to cover the dense-time behaviour verification of discrete event systems. Especially, timed automata (TA) has performed the key role in the field. This paper builds on the research results that have been achieved from both theories of DEVS and TA. Thus contributions of this paper can be seen from each side. From the viewpoint of the DEVS theory, a finite and nondeterministic DEVS has been found as a verifiable class. From the viewpoint of the TA theory, a TA which is modular and hierarchical as well as verifiable, is proposed. To show the results, this paper uses the top down manner in which a general formalism is defined first and then its sub-classes are introduced." @default.
- W2103499994 created "2016-06-24" @default.
- W2103499994 creator A5084087393 @default.
- W2103499994 creator A5086321689 @default.
- W2103499994 date "2008-08-01" @default.
- W2103499994 modified "2023-09-26" @default.
- W2103499994 title "Expressiveness of verifiable hierarchical clock systems" @default.
- W2103499994 cites W1505030820 @default.
- W2103499994 cites W1508998125 @default.
- W2103499994 cites W1521364045 @default.
- W2103499994 cites W1796268701 @default.
- W2103499994 cites W1981808971 @default.
- W2103499994 cites W1982037156 @default.
- W2103499994 cites W2024105871 @default.
- W2103499994 cites W2025855859 @default.
- W2103499994 cites W2061679742 @default.
- W2103499994 cites W2101508170 @default.
- W2103499994 cites W2130026896 @default.
- W2103499994 cites W2484908051 @default.
- W2103499994 cites W4251473105 @default.
- W2103499994 cites W4253563042 @default.
- W2103499994 doi "https://doi.org/10.1080/03081070701794876" @default.
- W2103499994 hasPublicationYear "2008" @default.
- W2103499994 type Work @default.
- W2103499994 sameAs 2103499994 @default.
- W2103499994 citedByCount "4" @default.
- W2103499994 countsByYear W21034999942014 @default.
- W2103499994 crossrefType "journal-article" @default.
- W2103499994 hasAuthorship W2103499994A5084087393 @default.
- W2103499994 hasAuthorship W2103499994A5086321689 @default.
- W2103499994 hasConcept C101468663 @default.
- W2103499994 hasConcept C110251889 @default.
- W2103499994 hasConcept C112505250 @default.
- W2103499994 hasConcept C11413529 @default.
- W2103499994 hasConcept C120314980 @default.
- W2103499994 hasConcept C142362112 @default.
- W2103499994 hasConcept C147203929 @default.
- W2103499994 hasConcept C153349607 @default.
- W2103499994 hasConcept C167343916 @default.
- W2103499994 hasConcept C176181172 @default.
- W2103499994 hasConcept C177264268 @default.
- W2103499994 hasConcept C199360897 @default.
- W2103499994 hasConcept C35527583 @default.
- W2103499994 hasConcept C41008148 @default.
- W2103499994 hasConcept C44154836 @default.
- W2103499994 hasConcept C558565934 @default.
- W2103499994 hasConcept C68757728 @default.
- W2103499994 hasConcept C73301696 @default.
- W2103499994 hasConcept C80444323 @default.
- W2103499994 hasConcept C85847156 @default.
- W2103499994 hasConceptScore W2103499994C101468663 @default.
- W2103499994 hasConceptScore W2103499994C110251889 @default.
- W2103499994 hasConceptScore W2103499994C112505250 @default.
- W2103499994 hasConceptScore W2103499994C11413529 @default.
- W2103499994 hasConceptScore W2103499994C120314980 @default.
- W2103499994 hasConceptScore W2103499994C142362112 @default.
- W2103499994 hasConceptScore W2103499994C147203929 @default.
- W2103499994 hasConceptScore W2103499994C153349607 @default.
- W2103499994 hasConceptScore W2103499994C167343916 @default.
- W2103499994 hasConceptScore W2103499994C176181172 @default.
- W2103499994 hasConceptScore W2103499994C177264268 @default.
- W2103499994 hasConceptScore W2103499994C199360897 @default.
- W2103499994 hasConceptScore W2103499994C35527583 @default.
- W2103499994 hasConceptScore W2103499994C41008148 @default.
- W2103499994 hasConceptScore W2103499994C44154836 @default.
- W2103499994 hasConceptScore W2103499994C558565934 @default.
- W2103499994 hasConceptScore W2103499994C68757728 @default.
- W2103499994 hasConceptScore W2103499994C73301696 @default.
- W2103499994 hasConceptScore W2103499994C80444323 @default.
- W2103499994 hasConceptScore W2103499994C85847156 @default.
- W2103499994 hasIssue "4" @default.
- W2103499994 hasLocation W21034999941 @default.
- W2103499994 hasOpenAccess W2103499994 @default.
- W2103499994 hasPrimaryLocation W21034999941 @default.
- W2103499994 hasRelatedWork W101500571 @default.
- W2103499994 hasRelatedWork W10363999 @default.
- W2103499994 hasRelatedWork W126171308 @default.
- W2103499994 hasRelatedWork W1526320588 @default.
- W2103499994 hasRelatedWork W1998330138 @default.
- W2103499994 hasRelatedWork W2394699755 @default.
- W2103499994 hasRelatedWork W2484578205 @default.
- W2103499994 hasRelatedWork W2592881726 @default.
- W2103499994 hasRelatedWork W3135834021 @default.
- W2103499994 hasRelatedWork W3089733191 @default.
- W2103499994 hasVolume "37" @default.
- W2103499994 isParatext "false" @default.
- W2103499994 isRetracted "false" @default.
- W2103499994 magId "2103499994" @default.
- W2103499994 workType "article" @default.