search

hklarner / NuSMV-a

13 stars 8 forks source link

Abschlußvortrag #11

Closed hklarner closed 8 years ago

hklarner commented 8 years ago

Dachte wir können schon mal ein paar Punkte für die Vorträge sammeln aus denen ihr dann auswählen könnt.

Theoretisches

Praktisches

Anwendungen

Der Vortrag soll zwischen 30 und 60 min lang sein. Ihr könnt euch überlegen, ob ihr einen Vortrag gemeinsam macht (würde ich empfehlen) oder jeder einen eigenen. Als Termin schlage ich

vor.

rickyheinitz commented 8 years ago

Also, ich kann an beiden Terminen. Und ich fände einen gemeinsamen Vortrag auch besser.

hklarner commented 8 years ago

Sarah und Mehmet, ihr auch?

ghost commented 8 years ago

Jaa! Das finde ich super:)

On 2016-04-18 16:12, hklarner wrote:

Sarah und Mehmet, ihr auch?

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub https://github.com/hklarner/SWP2016/issues/11#issuecomment-211398576

memocan32 commented 8 years ago

Yap klingt sehr gut =)

rickyheinitz commented 8 years ago

Sollen wir uns nächste Woche mal treffen, zum Vortrag vorbereiten? Fänd ich gut!

hklarner commented 8 years ago

Können wir machen. Irgendeine Terminpreferenz?

memocan32 commented 8 years ago

Mittwoch gegen 12?

rickyheinitz commented 8 years ago

Geht bei mir.

ghost commented 8 years ago

jop

hklarner commented 8 years ago

Raum 017 ist am Mittwoch zwischen 12:00 und 14:00 für uns reserviert.

hklarner commented 8 years ago

Hi, dachte gerade, dass ihr für den theoretischen Teil, als Beispiel an dem ihr Model Checking und BDDs und eine factored formula erklärt, gerne das raf_network.bnet nehmen könnt. Also Gleichungen zeigen, Interaktionsgraph und asynchronen Übergangsgraph zeigen. Beispiel spec, beispiel BDD, beispiel formula usw. Was Boolsche Netzwerke und asynchrone Übergänge sind muß nicht erklärt werden.