Wir verwenden Cookies, um Ihnen ein optimales Webseiten-Erlebnis zu bieten. Dazu zählen Cookies, die für den Betrieb der Seite und für die Steuerung unserer kommerziellen Unternehmensziele notwendig sind, sowie solche, die lediglich zu anonymen Statistikzwecken, für Komforteinstellungen oder zur Anzeige personalisierter Inhalte genutzt werden. Sie können selbst entscheiden, welche Kategorien Sie zulassen möchten. Bitte beachten Sie, dass auf Basis Ihrer Einstellungen womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.
Formal methods competence at SCCH
F. Kossak. Formal methods competence at SCCH. number SCCH-TR-0901, 1, 2009.
Autoren
Felix Kossak
Typ
Technischer Bericht
Nummer
SCCH-TR-0901
Monat
1
Jahr
2009
Abstract
We give an overview over past activities of SCCH in the field of formal methods, and the competence that was thereby built up