Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:dernehl [2013/12/07 20:15] dernehl [Forschungsgebiete] |
lehrstuhl:mitarbeiter:dernehl [2013/12/07 20:15] dernehl [Forschungsgebiete] |
||
|---|---|---|---|
| Zeile 16: | Zeile 16: | ||
| ===== Forschungsgebiete ===== | ===== Forschungsgebiete ===== | ||
| - | * Autonomie und Flugführung für Kleinstfluggeräte (MAVs) | + | * Automatisierung und Flugführung für Kleinstfluggeräte (MAVs) |
| * Statische Analye von Blockdiagrammen | * Statische Analye von Blockdiagrammen | ||
| * Model Checking von Blockdiagrammen | * Model Checking von Blockdiagrammen | ||