Constraint-basierte Plattformvarianten-Spezifikation für die frühzeitige Systemverifikation: Systemvariabilität bewältigen

Authors: Sebastian Reiter, FZI Forschungszentrum Informa...; Alexander Viehl, FZI Forschungszentrum Informat...; Oliver Bringmann, Eberhard Karls Universität Tü...; ; Andreas Burger, FZI Forschungszentrum Informatik, DE

Abstract:

Publication Date: 2016/04/01