Matches in SemOpenAlex for { <https://semopenalex.org/work/W68968673> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W68968673 abstract "Abstract A new modelling notation and a verification tool for hybrid systems is introduced: The Cottbus Timed Automaton (CTA). In contrast to existing modelling concepts, the new formalism has the advantage to be capable of modelling hybrid systems as a modular structure of components which communicate through the elements of an explicitly defined interface. The interface consists of signals and variables declared with different access modes. This paper describes how to describe a system and how to verify it. The current version of the tool uses the double description method to represent the regions." @default.
- W68968673 created "2016-06-24" @default.
- W68968673 creator A5037430970 @default.
- W68968673 creator A5071340047 @default.
- W68968673 date "2000-05-01" @default.
- W68968673 modified "2023-09-30" @default.
- W68968673 title "A Tool for Modular Modelling and Verification of Hybrid Systems" @default.
- W68968673 cites W1526262508 @default.
- W68968673 cites W1553814243 @default.
- W68968673 cites W1874725288 @default.
- W68968673 cites W1891915427 @default.
- W68968673 cites W1981808971 @default.
- W68968673 cites W2000302396 @default.
- W68968673 cites W2130773092 @default.
- W68968673 cites W2136545402 @default.
- W68968673 cites W2160883697 @default.
- W68968673 cites W2166071597 @default.
- W68968673 cites W2296646831 @default.
- W68968673 cites W3144368627 @default.
- W68968673 cites W1604784787 @default.
- W68968673 doi "https://doi.org/10.1016/s1474-6670(17)39950-0" @default.
- W68968673 hasPublicationYear "2000" @default.
- W68968673 type Work @default.
- W68968673 sameAs 68968673 @default.
- W68968673 citedByCount "1" @default.
- W68968673 crossrefType "journal-article" @default.
- W68968673 hasAuthorship W68968673A5037430970 @default.
- W68968673 hasAuthorship W68968673A5071340047 @default.
- W68968673 hasConcept C101468663 @default.
- W68968673 hasConcept C112505250 @default.
- W68968673 hasConcept C113843644 @default.
- W68968673 hasConcept C119857082 @default.
- W68968673 hasConcept C129307140 @default.
- W68968673 hasConcept C142362112 @default.
- W68968673 hasConcept C153349607 @default.
- W68968673 hasConcept C157915830 @default.
- W68968673 hasConcept C173608175 @default.
- W68968673 hasConcept C199360897 @default.
- W68968673 hasConcept C2776028153 @default.
- W68968673 hasConcept C33923547 @default.
- W68968673 hasConcept C41008148 @default.
- W68968673 hasConcept C45357846 @default.
- W68968673 hasConcept C50897621 @default.
- W68968673 hasConcept C558565934 @default.
- W68968673 hasConcept C73301696 @default.
- W68968673 hasConcept C80444323 @default.
- W68968673 hasConcept C94375191 @default.
- W68968673 hasConceptScore W68968673C101468663 @default.
- W68968673 hasConceptScore W68968673C112505250 @default.
- W68968673 hasConceptScore W68968673C113843644 @default.
- W68968673 hasConceptScore W68968673C119857082 @default.
- W68968673 hasConceptScore W68968673C129307140 @default.
- W68968673 hasConceptScore W68968673C142362112 @default.
- W68968673 hasConceptScore W68968673C153349607 @default.
- W68968673 hasConceptScore W68968673C157915830 @default.
- W68968673 hasConceptScore W68968673C173608175 @default.
- W68968673 hasConceptScore W68968673C199360897 @default.
- W68968673 hasConceptScore W68968673C2776028153 @default.
- W68968673 hasConceptScore W68968673C33923547 @default.
- W68968673 hasConceptScore W68968673C41008148 @default.
- W68968673 hasConceptScore W68968673C45357846 @default.
- W68968673 hasConceptScore W68968673C50897621 @default.
- W68968673 hasConceptScore W68968673C558565934 @default.
- W68968673 hasConceptScore W68968673C73301696 @default.
- W68968673 hasConceptScore W68968673C80444323 @default.
- W68968673 hasConceptScore W68968673C94375191 @default.
- W68968673 hasLocation W689686731 @default.
- W68968673 hasOpenAccess W68968673 @default.
- W68968673 hasPrimaryLocation W689686731 @default.
- W68968673 hasRelatedWork W1250213783 @default.
- W68968673 hasRelatedWork W1485614412 @default.
- W68968673 hasRelatedWork W1489779423 @default.
- W68968673 hasRelatedWork W1577874587 @default.
- W68968673 hasRelatedWork W167207285 @default.
- W68968673 hasRelatedWork W2016890988 @default.
- W68968673 hasRelatedWork W2032792606 @default.
- W68968673 hasRelatedWork W2081943372 @default.
- W68968673 hasRelatedWork W2085393682 @default.
- W68968673 hasRelatedWork W2108298279 @default.
- W68968673 hasRelatedWork W2121602398 @default.
- W68968673 hasRelatedWork W2122436896 @default.
- W68968673 hasRelatedWork W2129088790 @default.
- W68968673 hasRelatedWork W2540599577 @default.
- W68968673 hasRelatedWork W2619696001 @default.
- W68968673 hasRelatedWork W2769150555 @default.
- W68968673 hasRelatedWork W2926219820 @default.
- W68968673 hasRelatedWork W3006229002 @default.
- W68968673 hasRelatedWork W3150472087 @default.
- W68968673 hasRelatedWork W61646723 @default.
- W68968673 isParatext "false" @default.
- W68968673 isRetracted "false" @default.
- W68968673 magId "68968673" @default.
- W68968673 workType "article" @default.