Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
|
lehre:abschlussarbeiten:model_checking_von_abstract_state_machines [2009/06/11 11:54] brauer angelegt |
lehre:abschlussarbeiten:model_checking_von_abstract_state_machines [2009/06/11 11:54] brauer |
||
|---|---|---|---|
| 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 ===== | ||