%0
Generic
%T
Timing model derivation : static analysis of hardware description languages
%A Schlickling, Marc
%A Wilhelm, Reinhard
%K VHDL
%K abstract interpretation
%K embedded system
%K safety-critical system
%K Sicherheitskritisches System
%K Statische Analyse
%K worst-case execution time
%K static analysis
%K Eingebettetes System
%K Abstrakte Interpretation
%K Worst-Case-Laufzeit
%D 2012
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.