Fachgebiet Rechnersysteme
Kontakt
|
Impressum
|
Druckversion
Mitarbeiter
Martin Oberkönig
Lehre
Forschungsgebiete
Publikationen
Offene Arbeiten
Sie befinden sich:
> TU Darmstadt
> ETIT
> RS
>
Über uns
>
Mitarbeiter
Dipl.-Ing. Martin Oberkönig (geb. Braun)
Dipl.-Ing. Martin Oberkönig (geb. Braun)
Merckstraße 25
64283 Darmstadt
Gebäude S3|06, Raum: 331
Telefon: +49 6151 16-2075
Telefax: +49 6151 16-4976
oberkoenig(at)rs.tu-darmstadt.de
Überblick:
Forschungsgebiete
Eigenschaftsbasierte Verifikation
Vollständigkeitsanalysen von Eigenschaftssätzen
