Compilation of Methodologies to Speed up the Verification Process at System Level

BIB
S. Radke, S. Rülke, M. F. S. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, H. Brazdrum, P. Janssen, H. M. Le, D. Große, R. Drechsler,E. Fehlauer, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, F. Headicke, R. Görgen,
05 / 2012
misc
edacentrum
SANITAS
Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette (sorry - only available in German)