Welcome!
» Log In
» Create A New Profile
Show all posts by user
Re: Questions regards the Course - 17 years ago
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ß Markusby markus - Verifikation, Zuverlässigkeit und Test WS 2006/07
Musterlösungen - 17 years ago
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ß Markusby markus - Verifikation, Zuverlässigkeit und Test WS 2006/07
Ergänzung - 17 years ago
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önneby markus - Rechnerarchitektur SS 2006
Fragen zu Aufgabe 3.2 - 17 years ago
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 Zusby markus - Rechnerarchitektur SS 2006