activity
20142020
most citedDomain Theory: An Introduction

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.RO2014

Modeling Basic Aspects of Cyber-Physical Systems, Part II

Yingfu Zeng, Chad Rose, Paul Brauner +5

We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as…