16 citations · 23 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021★ 6 cited
A Semantic Model for Interacting Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes,…
eess.SY2021
A Semantic Model for Interacting Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes,…