Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Letzte Überarbeitung Beide Seiten der Revision
forschung:projekte [2017/12/03 15:42]
foerster [Projekte]
forschung:projekte [2021/04/15 11:21]
alrifaee [Projekte]
Zeile 3: Zeile 3:
 \\ \\
   * [[http://​arcade.embedded.rwth-aachen.de|ARCADE:​ Aachen Rigorous Code Analysis and Debugging Environment]]   * [[http://​arcade.embedded.rwth-aachen.de|ARCADE:​ Aachen Rigorous Code Analysis and Debugging Environment]]
-  * [[https://​artshop.embedded.rwth-aachen.de|artshop Modellrepository]] 
-  * [[http://​www.algosyn.rwth-aachen.de/​|DFG-Graduiertenkolleg Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme]] 
-  * [[lehrstuhl:​stellen:​hiwis:​dfg-toolentwicklungzuranforderungsmodellierungundanalyse|DFG-Forschungsprojekt "​Formale Anforderungsspezifikation und -analyse"​]] 
-  * [[http://​ti.tuwien.ac.at/​ecs/​research/​projects/​cevtes|CEVTES]] (in Kooperation mit TU Wien) 
-  * [[Carolo Cup]] 
-  * [[forschung:​projekte:​eclavent]] 
   * [[forschung:​projekte:​automock]]   * [[forschung:​projekte:​automock]]
-  * [[ENAV|eNav - Navigationssystem für Elektrorollstühle]] +  * [[forschung:​projekte:​smithSmart Medical Information Technology for Healthcare]] 
-  * [[IMAV|MAVerix ​Teilnahme an der IMAV (International Micro Air Vehicle Competition)]] +  * [[forschung:​mobilityProjekte der Cyber-physical Mobility Gruppe]] 
-  * [[SQI|The UMIC Software Quality Initiative]]+
  
  
 \\ \\
 Eine Auflistung und Beschreibung bereits abgeschlossener Projekte, welche von unserer Gruppe in der Vergangenheit bearbeitet wurden, finden Sie [[:​forschung:​fruehere_projekte|an dieser Stelle]]. Eine Auflistung und Beschreibung bereits abgeschlossener Projekte, welche von unserer Gruppe in der Vergangenheit bearbeitet wurden, finden Sie [[:​forschung:​fruehere_projekte|an dieser Stelle]].