9 citations · 9 across the 1 of their papers we have counts for
1 paper
Frédéric Badeau, Marielle Doche-Petit
This article presents a verification and validation activity performed in an industrial context, to validate configuration data of a metro CBTC system by creating a formal B model…