author = { Schlickling, Marc Wilhelm, Reinhard },

title = { Timing model derivation : static analysis of hardware description languages },

keywords = { VHDL , abstract interpretation , embedded system , safety-critical system , Sicherheitskritisches System , Statische Analyse , worst-case execution time , static analysis , Eingebettetes System , Abstrakte Interpretation , Worst-Case-Laufzeit },

year = {2012},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},