 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | | | |
| ||||||
| ||||||
| | | ||||
| ||||||
Kontakt/Ansprechpartner |
|
Brückner, Ingo |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Informationen zum Ansprechpartner | |||||||||
| |||||||||
| Dipl.-Inform. Ingo Brückner ist wissenschaftlicher Mitarbeiter des FuE-Bereichs Sicherheitskritische Systeme (SC) im OFFIS. | |||||||||
| |||||||||
| Sachgebiete | |||||||||
| |||||||||
| Verifikationstechniken Formale Methoden Sicherheitsanalyse | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| ||||||||||||||
|
