Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103128566> ?p ?o ?g. }
- W2103128566 endingPage "28" @default.
- W2103128566 startingPage "11" @default.
- W2103128566 abstract "This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in the design of embedded control software using examples from automated highways concerning vehicle coordination." @default.
- W2103128566 created "2016-06-24" @default.
- W2103128566 creator A5014412591 @default.
- W2103128566 creator A5018058427 @default.
- W2103128566 creator A5020028377 @default.
- W2103128566 creator A5034846101 @default.
- W2103128566 creator A5046777407 @default.
- W2103128566 creator A5065059795 @default.
- W2103128566 creator A5069288026 @default.
- W2103128566 creator A5082105260 @default.
- W2103128566 creator A5087021192 @default.
- W2103128566 date "2003-01-01" @default.
- W2103128566 modified "2023-10-18" @default.
- W2103128566 title "Hierarchical modeling and analysis of embedded systems" @default.
- W2103128566 cites W1488765129 @default.
- W2103128566 cites W1488872683 @default.
- W2103128566 cites W1489150842 @default.
- W2103128566 cites W1499853177 @default.
- W2103128566 cites W1516638811 @default.
- W2103128566 cites W1535220465 @default.
- W2103128566 cites W153567890 @default.
- W2103128566 cites W1582711980 @default.
- W2103128566 cites W1583235334 @default.
- W2103128566 cites W1595533192 @default.
- W2103128566 cites W1597944220 @default.
- W2103128566 cites W1691700263 @default.
- W2103128566 cites W1803523552 @default.
- W2103128566 cites W1823037702 @default.
- W2103128566 cites W1827220451 @default.
- W2103128566 cites W1858911608 @default.
- W2103128566 cites W1874725288 @default.
- W2103128566 cites W1891915427 @default.
- W2103128566 cites W1966173660 @default.
- W2103128566 cites W1968125459 @default.
- W2103128566 cites W1971233185 @default.
- W2103128566 cites W1994475353 @default.
- W2103128566 cites W2004463571 @default.
- W2103128566 cites W2021747285 @default.
- W2103128566 cites W2026965951 @default.
- W2103128566 cites W2031130394 @default.
- W2103128566 cites W2035851348 @default.
- W2103128566 cites W2043100293 @default.
- W2103128566 cites W2098916117 @default.
- W2103128566 cites W2099165995 @default.
- W2103128566 cites W2099529102 @default.
- W2103128566 cites W2101508170 @default.
- W2103128566 cites W2102194774 @default.
- W2103128566 cites W2106361312 @default.
- W2103128566 cites W2115309705 @default.
- W2103128566 cites W2117218135 @default.
- W2103128566 cites W2128534213 @default.
- W2103128566 cites W2130519480 @default.
- W2103128566 cites W2136199753 @default.
- W2103128566 cites W2137865376 @default.
- W2103128566 cites W2138988438 @default.
- W2103128566 cites W2142590165 @default.
- W2103128566 cites W2142590479 @default.
- W2103128566 cites W2147340401 @default.
- W2103128566 cites W2152752348 @default.
- W2103128566 cites W4231812951 @default.
- W2103128566 cites W4244847755 @default.
- W2103128566 cites W4256144738 @default.
- W2103128566 doi "https://doi.org/10.1109/jproc.2002.805817" @default.
- W2103128566 hasPublicationYear "2003" @default.
- W2103128566 type Work @default.
- W2103128566 sameAs 2103128566 @default.
- W2103128566 citedByCount "159" @default.
- W2103128566 countsByYear W21031285662012 @default.
- W2103128566 countsByYear W21031285662013 @default.
- W2103128566 countsByYear W21031285662014 @default.
- W2103128566 countsByYear W21031285662015 @default.
- W2103128566 countsByYear W21031285662016 @default.
- W2103128566 countsByYear W21031285662017 @default.
- W2103128566 countsByYear W21031285662018 @default.
- W2103128566 countsByYear W21031285662019 @default.
- W2103128566 countsByYear W21031285662021 @default.
- W2103128566 countsByYear W21031285662022 @default.
- W2103128566 crossrefType "journal-article" @default.
- W2103128566 hasAuthorship W2103128566A5014412591 @default.
- W2103128566 hasAuthorship W2103128566A5018058427 @default.
- W2103128566 hasAuthorship W2103128566A5020028377 @default.
- W2103128566 hasAuthorship W2103128566A5034846101 @default.
- W2103128566 hasAuthorship W2103128566A5046777407 @default.
- W2103128566 hasAuthorship W2103128566A5065059795 @default.
- W2103128566 hasAuthorship W2103128566A5069288026 @default.
- W2103128566 hasAuthorship W2103128566A5082105260 @default.
- W2103128566 hasAuthorship W2103128566A5087021192 @default.
- W2103128566 hasBestOaLocation W21031285662 @default.
- W2103128566 hasConcept C101468663 @default.
- W2103128566 hasConcept C115903868 @default.
- W2103128566 hasConcept C162324750 @default.
- W2103128566 hasConcept C179603123 @default.
- W2103128566 hasConcept C184337299 @default.
- W2103128566 hasConcept C199360897 @default.
- W2103128566 hasConcept C201677973 @default.
- W2103128566 hasConcept C2777904410 @default.
- W2103128566 hasConcept C31170391 @default.
- W2103128566 hasConcept C34447519 @default.