7 citations · 7 across the 1 of their papers we have counts for
1 paper
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu +1
This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the str…