4 citations · 4 across the 1 of their papers we have counts for
1 paper
Franco Mazzanti, Dimitri Belli
We present the case study developed in the context of the 4SECURail project and the approach used for its formal modeling and analysis. Starting from a simple SysML/UML behavioral…