Built at the Internet Archive
Sites for this collection are listed below. Narrow your results at left, or enter a search query below to find a site, specific URL or to search the text of archived webpages.
Page 1 of 1 (1 Total Results)
Sort By:
Description: Die Gruppe Informationssicherheit betreibt Forschung und Ausbildung zu Methoden und Werkzeugen für die Konstruktion sicherer Systeme. Dazu gehören Methoden zur Spezifikation von Systemen, zur Entwicklung von Systemen unter Wahrung der Korrektheit und zur Verifizierung oder Prüfung bestehender Systeme und Infrastrukturen. / The Information Security Group carries out research and education on methods and tools for constructing safe and secure systems. This includes methods for specifying systems, developing systems in correctness-preserving ways, and verifying or testing existing systems and infrastructures.
Loading Wayback Capture Info...
Loading video data...
Creator: Hochschularchiv der ETH Zürich
Source: ISIL-Code: CH-001807-7 EZ-INF1.11/009
Identifier: 10.7893/ethz-hsa-400796
Collector: Hochschularchiv der ETH Zürich
Page 1 of 1 (1 Total Results)