activity
20102021
most citedContracts and Behavioral Patterns for SoS: The EU IP DANSE approach

19 citations · 42 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019★ 14 cited

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

Simon Lunel, Stefan Mitsch, Benoit Boyer +1

Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart…