SmartTies - Management of Safety-Critical Developments.

Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lth, Christian Maeder

Browse the full ISoLA paper archive.