General
| Name: | Stefan Lämmermann |
|---|---|
| Position: | Doctoral Candidate in Computer Science |
| Interests: | System Verification, HW/SW CoVerification, UML/SysML, SystemC(-AMS) |
| Assertion Based Verification | |
| Mixed-Signal Assertions | |
| Formal und Semi Formale Verification | |
| System Analysis for Verification of HW/SW-Systems |
Coordinates
| Postal Address: |
Sand 13
72076 Tübingen Germany |
|---|---|
| Office: | Room B205 |
| Email: |
Please remove the underscores in my email address!
|
| Homepage: | http://www-ti.informatik.uni-tuebingen.de/~laemmerm |
| Phone: | +49 7071 2975458 (07071 / 29-75458) |
| Fax: | +49 7071 295062 (07071 / 29-5062) |
News
| Friday 2. December 2005 | Generate the Homepage. |
|---|