18 citations · 68 across the 14 of their papers we have counts for
1 paper · 1 filter
Alessandro Cimatti, Marco Roveri, Angelo Susi +1
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways…