Uwe Higgen

According to our database, Uwe Higgen authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.

Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003