Projects of this Group

  Search  AND OR Extended search
close


All Current Completed
All 20 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
s
 

SANITAS

Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten ...
Duration: 2009 - 2012

SPEAK

Specification and Algorithm / Architecture-Co-Design for Highly Complex Applications in ...
Duration: 2001 - 2003

SPEAK 2

Specification and Algorithm / Architecture-Co-Design for Highly Complex Applications in ...
Duration: 2003 - 2005

SQUASH

Static QUality Assurance for Software and Hardware
Duration: 1998 - 2000