7 citations · 7 across the 1 of their papers we have counts for
1 paper
Fenglin Han, Jan Olaf Blech, Peter Herrmann +1
Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven e…