Kick-off Meeting Verisoft XT
Das Forschungsprojekt Verisoft XT wird in den kommenden drei Jahren vom Bundesministerium für Bildung und Forschung (BMB…
Das Forschungsprojekt Verisoft XT wird in den kommenden drei Jahren vom Bundesministerium für Bildung und Forschung (BMB…
Das Forschungsprojekt Verisoft XT wird jetzt vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 12 Millione…
Softwarefehler verursachen in Europa jährlich einen wirtschaftlichen Schaden von weit über 100 Milliarden Euro. Weil bei…
Vom 3. bis 7. Juli 2007 veranstalten Prof. Dr. Holger Hermanns, Inhaber des Lehrstuhls für Verlässliche Systeme an der U…
9. bis 15. März, CeBIT Hannover, Halle 9, Stand B 43 Die Universität des Saarlandes, die Saarbrücker Forschungsinstit…
Vor nicht weniger als 17 Jahren startete Siemens in weitsichtiger Manier unter dem Namen CVE (Circuit Verification Envir…