65 citations · 198 across the 12 of their papers we have counts for
1 paper · 1 filter
Andree Blotz, Franz Huber, Heiko Loetzbeyer +3
In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of p…