Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:abschlussarbeiten:model_checking_von_abstract_state_machines [2009/06/11 11:54] brauer angelegt |
lehre:abschlussarbeiten:model_checking_von_abstract_state_machines [2011/11/21 17:25] (aktuell) |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Model Checking von Abstract State Machines mit [mc]square ====== | ====== Model Checking von Abstract State Machines mit [mc]square ====== | ||
| + | ~~NOTOC~~ | ||
| ===== Motivation ===== | ===== Motivation ===== | ||