Constraint-based Platform Variant Specification for Early System Verification

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/19

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

Keyword: Verification