https://ira.informatik.uni-freiburg.de/phorum/list.php?53 Tue, 17 Dec 2024 11:32:03 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2709,2709#msg-2709 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2709,2709#msg-2709
der zweite Teil von Blatt 3 ist jetzt online. Da wir in der nächsten Übungsstunde ja noch den 2-SAT-Beweis von Blatt 2b besprechen müssen, habe ich das Blatt kurz gehalten.

Grüße
Florian]]> Florian Pigorsch [Assistent] Verifikation eingebetter Systeme WS 2008/09 Thu, 27 Nov 2008 16:02:28 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2676,2676#msg-2676 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2676,2676#msg-2676
Das zweite Übungsblatt (1. Teil) ist jetzt mit etwas Verspätung online!

Grüße
Florian]]> Florian Pigorsch [Assistent] Verifikation eingebetter Systeme WS 2008/09 Thu, 06 Nov 2008 15:59:56 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2675,2675#msg-2675 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2675,2675#msg-2675
die Mittwochs-Vorlesung wurde um eine Viertelstunde vorverlegt und beginnt nun immer um punkt 15:00!

Grüße
Florian]]> Florian Pigorsch [Assistent] Verifikation eingebetter Systeme WS 2008/09 Wed, 05 Nov 2008 15:09:43 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2644,2644#msg-2644 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2644,2644#msg-2644
ab sofort kann auf die "alten" Vorlesungsaufzeichnungen zugegriffen werden.
Dazu meldet man sich mit den von Prof. Scholl genannten Zugangsdaten (Login: "verifikation", Passwort: ...) am eLectures-Portal an (https://electures.informatik.uni-freiburg.de/) und wählt die Vorlesung "Verifikation, Zuverlässigkeit und Test I".
Man findet dort die Aufzeichnungsvideos (als AVI und Flash), sowie die Folien (als PDF).

Die neuen Aufzeichnungen werden mit den selben Zugangsdaten zugreifbar sein (Vorlesung "Verifikation Eingebetteter Systeme").

Grüße
Florian]]> Florian Pigorsch [Assistent] Verifikation eingebetter Systeme WS 2008/09 Thu, 23 Oct 2008 11:25:10 +0200 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2636,2636#msg-2636 https://ira.informatik.uni-freiburg.de/phorum/read.php?53,2636,2636#msg-2636
hiermit eröffne ich das Forum zur Vorlesung "Verifikation eingebetteter Systeme" im Wintersemester 2008/2009

Das Forum kann von jedem genutzt werden, bedarf allerdings einer Anmeldung (Link "Einloggen"). Es ist dazu gedacht, Fragen zu stellen und Informationen auszutauschen; weiter versuche ich bei Unklarheiten in der Vorlesung oder in den Übungsaufgaben zu helfen.

Der Vorteil gegenüber einer persönlichen Mail an mich ist der, dass Eure Fragen bestimmt auch für viele andere interessant sind.

Das Forum ist natürlich _nicht_ dazu gedacht, Lösungen von Übungsblättern oder ähnliches zu dieser oder anderen Vorlesungen zu verbreiten.

Weiter prüfe ich Beiträge regelmäßig nach bestem Wissen und Gewissen auf Verstöße gegen geltendes Recht. Ich behalte es mir grundsätzlich vor, Beiträge nach eigenem Ermessen zu löschen. Gelöscht werden beispielsweise: Beiträge, die nichts mit dem Thema des Forums zu tun haben bzw. zu stark davon abweichen, persönliche Auseinandersetzungen, durch die Poster oder Drittpersonen angegriffen werden und Werbe- bzw. gewerbliche Beiträge.

Grüße
Florian Pigorsch
(Lehrstuhl Betriebssysteme)]]> Florian Pigorsch [Assistent] Verifikation eingebetter Systeme WS 2008/09 Tue, 21 Oct 2008 08:43:59 +0200