Constraint-based Platform Variant Specification for Early System Verification

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

Abstract:

-

Publication Date: 2016/04/19

Location of Publication: International MOST Conference & Exhibition 2016, Esslingen, DE

Keyword: Verification