Hallo Tobias! "1. The usual way: By using the computer terminals or by registering online. " Ich dachte bei Spezialvorlesungen kann man sich nicht für die Prüfung anmelden. Jedenfalls habe ich keine im QIS. Müßte ich Verifikation, Zuverlässigkeit und Test da drinhaben? Gruß Markus
Forum: Verifikation, Zuverlässigkeit und Test WS 2006/07

Hallo! Ich weiß leider nicht mehr, ob es in der Vorlesung/Übung schonmal gesagt wurde. Wird es Musterlösungen zu den Übungsblättern geben? Gruß Markus
Forum: Verifikation, Zuverlässigkeit und Test WS 2006/07

Hallo! Aufgabe 2.a) "Für alle ereichbaren Zustände gilt, daß entweder g oder h erfüllt werden." Ist das "entweder, oder" als XOR zu verstehen? Aufgabe 2.b) "Man kann einen Fehlerzustand (in diesem gilt e) nur dann erreichen, wenn zuvor ein problematischer Zustand (in dem p gilt) vorkam." Wird ein Pfad nach auftreten eines Fehlerzustandes beendet, oder könne
Forum: Rechnerarchitektur SS 2006

Hallo! Aufgabe 2.b) "Man kann einen Fehlerzustand (in diesem gilt e) nur dann erreichen, wenn zuvor ein problematischer Zustand (in dem p gilt) vorkam." Wird ein Pfad nach auftreten eines Fehlerzustandes beendet, oder können auch danach wieder problematische und Fehlerzustände auftreten? Aufgabe 2.c) "Man kommt abwechselnd in einen Zustand, in dem a gilt und in einen Zus
Forum: Rechnerarchitektur SS 2006