Matches in SemOpenAlex for { <https://semopenalex.org/work/W3042371037> ?p ?o ?g. }
- W3042371037 abstract "Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration of computation and physical components. Typical examples include systems where software-driven agents such as mobile robots explore space and perform actions to complete particular missions. Design of such a system often depends on multiple concerns expressed by different stakeholders, capturing different aspects of the system. We propose a model-driven approach supporting (a) separation of concerns during design, (b) systematic and semi-automatic integration of separately modeled concerns, and finally (c) early validation via statistical model checking. We evaluate our approach over two different case studies of cyber-physical space systems." @default.
- W3042371037 created "2020-07-23" @default.
- W3042371037 creator A5002090753 @default.
- W3042371037 creator A5024976868 @default.
- W3042371037 creator A5049100391 @default.
- W3042371037 creator A5052040242 @default.
- W3042371037 creator A5057850035 @default.
- W3042371037 date "2020-07-13" @default.
- W3042371037 modified "2023-10-09" @default.
- W3042371037 title "Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration" @default.
- W3042371037 cites W100170310 @default.
- W3042371037 cites W1498432697 @default.
- W3042371037 cites W1539438669 @default.
- W3042371037 cites W1571562695 @default.
- W3042371037 cites W1591803298 @default.
- W3042371037 cites W1631091010 @default.
- W3042371037 cites W1656169455 @default.
- W3042371037 cites W1718306640 @default.
- W3042371037 cites W1721257846 @default.
- W3042371037 cites W175120007 @default.
- W3042371037 cites W1862398452 @default.
- W3042371037 cites W1982572275 @default.
- W3042371037 cites W2009363597 @default.
- W3042371037 cites W2026629052 @default.
- W3042371037 cites W2054097655 @default.
- W3042371037 cites W2069228270 @default.
- W3042371037 cites W2086673120 @default.
- W3042371037 cites W2101508170 @default.
- W3042371037 cites W2105342640 @default.
- W3042371037 cites W2105603754 @default.
- W3042371037 cites W2107475457 @default.
- W3042371037 cites W2115857453 @default.
- W3042371037 cites W2125930621 @default.
- W3042371037 cites W2150829668 @default.
- W3042371037 cites W2159263584 @default.
- W3042371037 cites W2163626018 @default.
- W3042371037 cites W2166423024 @default.
- W3042371037 cites W2187938715 @default.
- W3042371037 cites W2267501151 @default.
- W3042371037 cites W2295710444 @default.
- W3042371037 cites W2327531525 @default.
- W3042371037 cites W2407143168 @default.
- W3042371037 cites W2492599963 @default.
- W3042371037 cites W2514915463 @default.
- W3042371037 cites W2528017977 @default.
- W3042371037 cites W2732140844 @default.
- W3042371037 cites W2740038983 @default.
- W3042371037 cites W2761119459 @default.
- W3042371037 cites W2776276349 @default.
- W3042371037 cites W2895420967 @default.
- W3042371037 cites W2913459036 @default.
- W3042371037 cites W2953688716 @default.
- W3042371037 cites W2956360557 @default.
- W3042371037 cites W2991133816 @default.
- W3042371037 cites W43031245 @default.
- W3042371037 cites W651355120 @default.
- W3042371037 cites W81140875 @default.
- W3042371037 cites W952303715 @default.
- W3042371037 cites W2883967600 @default.
- W3042371037 doi "https://doi.org/10.48550/arxiv.2007.06719" @default.
- W3042371037 hasPublicationYear "2020" @default.
- W3042371037 type Work @default.
- W3042371037 sameAs 3042371037 @default.
- W3042371037 citedByCount "1" @default.
- W3042371037 countsByYear W30423710372020 @default.
- W3042371037 crossrefType "posted-content" @default.
- W3042371037 hasAuthorship W3042371037A5002090753 @default.
- W3042371037 hasAuthorship W3042371037A5024976868 @default.
- W3042371037 hasAuthorship W3042371037A5049100391 @default.
- W3042371037 hasAuthorship W3042371037A5052040242 @default.
- W3042371037 hasAuthorship W3042371037A5057850035 @default.
- W3042371037 hasBestOaLocation W30423710371 @default.
- W3042371037 hasConcept C107457646 @default.
- W3042371037 hasConcept C111919701 @default.
- W3042371037 hasConcept C115903868 @default.
- W3042371037 hasConcept C116672817 @default.
- W3042371037 hasConcept C120314980 @default.
- W3042371037 hasConcept C121332964 @default.
- W3042371037 hasConcept C127413603 @default.
- W3042371037 hasConcept C149635348 @default.
- W3042371037 hasConcept C154945302 @default.
- W3042371037 hasConcept C179768478 @default.
- W3042371037 hasConcept C19527686 @default.
- W3042371037 hasConcept C199360897 @default.
- W3042371037 hasConcept C201995342 @default.
- W3042371037 hasConcept C2776221188 @default.
- W3042371037 hasConcept C2777904410 @default.
- W3042371037 hasConcept C2778572836 @default.
- W3042371037 hasConcept C41008148 @default.
- W3042371037 hasConcept C45374587 @default.
- W3042371037 hasConcept C62520636 @default.
- W3042371037 hasConcept C76214141 @default.
- W3042371037 hasConcept C90509273 @default.
- W3042371037 hasConceptScore W3042371037C107457646 @default.
- W3042371037 hasConceptScore W3042371037C111919701 @default.
- W3042371037 hasConceptScore W3042371037C115903868 @default.
- W3042371037 hasConceptScore W3042371037C116672817 @default.
- W3042371037 hasConceptScore W3042371037C120314980 @default.
- W3042371037 hasConceptScore W3042371037C121332964 @default.
- W3042371037 hasConceptScore W3042371037C127413603 @default.