activity
20192022
most citedOnline Cycle Detection for Models with Mode-Dependent Input and Output Dependencies

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.SE2019

Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems

Etienne Borde

Cyber Physical Systems are systems controlled or monitored by computer-based programs, tightly integrated networks, sensors, and actuators. Software development of CPS has become s…