Projects of the R&D-Division Transportation
Wissensbasiertes Computer Based Training zur Kunststoffherstellung (sorry - only available ...
Duration: 1995 - 1996
Einsatz visueller Formalismen in der industriellen Praxis (sorry - only available in German)
Duration: 1999 - 2001
Formal verification of VHDL-Based Real-Time Hardware Designs
Duration: 1994 - 1998
Modeling, Control and Management of Thermal Effects in Electronic Circuits of the Future
Duration: 2010 - 2013