4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
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…