Browsing Institut für Informatik by Subject "Verifikation"
Now showing items 1-2 of 2
-
1997-12-01BuchDAWN Petrinetzmodelle zur Verifikation Verteilter Algorithmen
-
2007-01-01BuchEntwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften ...