2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Nikolaos Kekatos
This article aims to provide a simple step-by-step guide highlighting the steps needed to verify a control system with formal verification tools. Starting from a description of the…