Authors: Wolfgang Müller, Universität Paderborn, DE; Fabian Mischkalla, Universität Paderborn, DE
Abstract:
-
Publication Date: 2014/07/20
Location of Publication: International Conference on Embedded Computer Systems: Architecture, Modeling and Simulation (SAMOS), Samos, GR
Keyword: Verification