Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
|
lehre:abschlussarbeiten:einsatz_von_statischen_analysen_im_bereich_des_model-checking_von_software_fuer_eingebettete_systeme [2009/06/18 16:26] schlich angelegt |
lehre:abschlussarbeiten:einsatz_von_statischen_analysen_im_bereich_des_model-checking_von_software_fuer_eingebettete_systeme [2009/06/18 16:29] (aktuell) schlich |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | ====== Einsatz vons tatischen Analysen im Bereich des Model-Checking von Software für eingebettete Systeme ====== | + | ====== Einsatz von statischen Analysen im Bereich des Model-Checking von Software für eingebettete Systeme ====== |
| ===== Student ===== | ===== Student ===== | ||