Allgemein
| Name: | Stefan Lämmermann |
|---|---|
| Position: | Doktorand und Wissenschaftlicher Mitarbeiter |
| Interessen: | System-Verifikation, HW/SW CoVerifikation, UML/SysML, SystemC(-AMS) |
| Assertion-basierte Verifikation | |
| Mixed-Signal Assertions | |
| Formale und Semiformale Verifikation | |
| Systemanalyse für die Verifikation von HW/SW-Systemen |
Adresse
| Postal Address: |
Sand 13
72076 Tübingen Germany |
|---|---|
| Büro: | Raum B205 |
| Email: |
Please remove the underscores in my email address!
|
| Homepage: | http://www-ti.informatik.uni-tuebingen.de/~laemmerm |
| Telefon: | +49 7071 2975458 (07071 / 29-75458) |
| Fax: | +49 7071 295062 (07071 / 29-5062) |
Neuigkeiten
| Freitag 2.Dezember 2005 | Erstellung der Homepage. |
|---|