19 citations · 31 across the 12 of their papers we have counts for
1 paper · 1 filter
Alessio Ferrari, Maurice H. ter Beek
Formal methods are mathematically-based techniques for the rigorous development of software-intensive systems. The railway signaling domain is a field in which formal methods have…