27 citations · 27 across the 1 of their papers we have counts for
1 paper
Maria Spichkova, Florian Hölzl, David Trachtenherz
This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles em…