Authors: Sebastian Reiter, FZI Forschungszentrum Informa...; Andreas Burger, FZI Forschungszentrum Informati...; Alexander Viehl, FZI Forschungszentrum Informat...; Oliver Bringmann, FZI Forschungszentrum Informa...;
Abstract:
-
Publication Date: 2014/03/17
Location of Publication: 7th International ICST Conference on Simulation Tools and Techniques (SIMUTools) 2014, Lisabon, PT
Keywords: System Design; System Software Design; Verification