Erfahrungen zur Verifikation der ISS Online
Eintrags-ID: 30577
Erfahrungen zur (formalen) Verifikation der internationalen Raumstation ISS online.

Der Erfahrungsbericht schildert die Erfahrungen mit der formalen Verifikation der Internationalen Raumstation (ISS). Analysiert wurden Deadlock- und Livelocks. Beschrieben werden neben den zum Einsatz kommenden Verfahren auch Erfahrungen, die in zahlreichen weiteren IT-Projekten zum Einsatz kommen können und so effektiv Dead- und Livelocks vermeiden könnten.

Der Artikel bzw. der PDF Download ist zu finden unter:

Deadlock- und Livelock-Analyse für die internationale Raumstation ISS
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2017