28 citations · 178 across the 46 of their papers we have counts for
1 paper · 1 filter
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…