13 citations · 22 across the 16 of their papers we have counts for
1 paper · 1 filter
Niklas Metzger, Sanny Schmitt, Maximilian Schwenger
The verification of cyber-physical systems operating in a safety-critical environment requires formal system models. The validity of the verification hinges on the precision of the…