Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung Beide Seiten der Revision | |||
|
lehre:sose06:formale_methoden [2009/05/05 12:42] brauer angelegt |
lehre:sose06:formale_methoden [2009/05/05 12:47] brauer |
||
|---|---|---|---|
| Zeile 26: | Zeile 26: | ||
| || 2006-04-06 | || 2006-04-06 | ||
| || Einführung | || Einführung | ||
| - | || Vorlesungsfolien | + | || {{:lehre:sose06:1_20060406_introduction.pdf|Vorlesungsfolien}} |
| |- | |- | ||
| || 2006-04-13 | || 2006-04-13 | ||
| || Zeitachsen, Signale, Systeme | || Zeitachsen, Signale, Systeme | ||
| - | || Manuskript (2005) | + | || {{:lehre:sose06:formale_methoden_02.pdf|Manuskript (2005)}} |
| |- | |- | ||
| || 2006-04-20 | || 2006-04-20 | ||
| || Berechnungsmodelle, Kripke-Strukturen, Temporale Logiken | || Berechnungsmodelle, Kripke-Strukturen, Temporale Logiken | ||
| - | || Manuskript (2005) | + | || {{:lehre:sose06:formale_methoden_03.pdf|Manuskript (2005)}} |
| |- | |- | ||
| || 2006-04-27 | || 2006-04-27 | ||
| || CTL/LTL | || CTL/LTL | ||
| - | || Manuskript (2005) | + | || {{:lehre:sose06:formale_methoden_04.pdf|Manuskript (2005)}} |
| |- | |- | ||
| || 2006-05-04 | || 2006-05-04 | ||
| || CTL-Model-Checking 1 | || CTL-Model-Checking 1 | ||
| - | || Manuskript (2005) | + | || {{:lehre:sose06:formale_methoden_05.pdf|Manuskript (2005)}} |
| |- | |- | ||
| || 2006-05-11 | || 2006-05-11 | ||
| || CTL-Model-Checking 2 | || CTL-Model-Checking 2 | ||
| - | || Manuskript (2005) | + | || {{:lehre:sose06:formale_methoden_06.pdf|Manuskript (2005)}} |
| |- | |- | ||
| || 2006-05-17 | || 2006-05-17 | ||
| Zeile 58: | Zeile 58: | ||
| || 2006-06-22 | || 2006-06-22 | ||
| || Vortrag Modelchecking von Echtzeitautomaten mit UPPAAL | || Vortrag Modelchecking von Echtzeitautomaten mit UPPAAL | ||
| - | || Folien | + | || {{:lehre:sose06:formale_methoden_07.pdf|Folien}} |
| |- | |- | ||
| || 2006-06-29 | || 2006-06-29 | ||
| || Hybride Automaten (1) | || Hybride Automaten (1) | ||
| - | || Manuskript, Folien (2005) | + | || {{:lehre:sose06:formale_methoden_08.pdf|Manuskript}}, {{:lehre:sose06:9_20050630_fmes_hybsys.pdf|Folien (2005)}} |
| |- | |- | ||
| || 2006-07-06 | || 2006-07-06 | ||
| || Hybride Automaten (2) | || Hybride Automaten (2) | ||
| - | || Folien (2005) | + | || {{:lehre:sose06:10_20050707_fmes_hybsys.pdf|Folien (2005)}} |
| |} | |} | ||
| \\ | \\ | ||
| Zeile 92: | Zeile 92: | ||
| || 2006-04-19 | || 2006-04-19 | ||
| || AH 3 | || AH 3 | ||
| - | || 1. Übung | + | || {{:lehre:sose06:fmes_uebung01.pdf|1. Übung}} |
| |- | |- | ||
| || 2006-04-26 | || 2006-04-26 | ||
| || 2006-05-03 | || 2006-05-03 | ||
| || AH 3 | || AH 3 | ||
| - | || 2. Übung, Beispiel | + | || {{:lehre:sose06:fmes_uebung02.pdf|2. Übung}}, {{:lehre:sose06:fmes_uebung02_beispiel.pdf|Beispiel}} |
| |- | |- | ||
| || 2006-05-10 | || 2006-05-10 | ||
| || 2006-05-17 | || 2006-05-17 | ||
| || AH 3 | || AH 3 | ||
| - | || 3. Übung | + | || {{:lehre:sose06:fmes_uebung03.pdf|3. Übung}} |
| |- | |- | ||
| || 2006-05-24 | || 2006-05-24 | ||
| || 2006-05-31 | || 2006-05-31 | ||
| || 2323 | || 2323 | ||
| - | || 4. Übung, Beispiel | + | || {{:lehre:sose06:fmes_uebung04.pdf|4. Übung}}, {{:lehre:sose06:fmes_uebung04_beispiel.pdf|Beispiel}} |
| |- | |- | ||
| || 2006-06-21 | || 2006-06-21 | ||
| Zeile 117: | Zeile 117: | ||
| || 2006-07-12 | || 2006-07-12 | ||
| || 2323 | || 2323 | ||
| - | || 6. Übung, Beispiel | + | || {{:lehre:sose06:fmes_uebung05.pdf|6. Übung}}, {{:lehre:sose06:beispiel1.zip|Beispiel}} |
| |} | |} | ||
| \\ | \\ | ||