I am responsible for the certification of the L4Re runtime environment and for the application of formal methods at Kernkonzept.
You can find me at
Kernkonzept office |
Buchenstr. 16b, 01097 Dresden phone: +49 351 41883222 email: Hendrik.Tews@Kernkonzept.com |
home |
Eisenacher Straße 19, 01309 Dresden Phone: +49 351 8745389 email: hendrik@askra.de |
Wissend, daß Wissende niemals etwas gegen den drohenden Untergang ihrer Kultur/Zivilisation haben ausrichten können.
[Knowing that knowledgable people have never been able to do anything against the impending demise of their civilization.]
Christa Wolf