 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | | | |
| ||||||
| ||||||
| | | ||||
| ||||||
Kontakt/Ansprechpartner |
|
Josko, Bernhard |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Informationen zum Ansprechpartner | |||||||||
| |||||||||
| Dr. Bernhard Josko ist Leiter des FuE-Bereichs Sicherheitskritische Systeme (SC) im OFFIS. | |||||||||
| |||||||||
| Sachgebiete | |||||||||
| |||||||||
| Sicherheitskritische Systeme Eingebettete Systeme Formale Methoden Verifikationstechniken Modellbasierte Entwicklung Sicherheitsanalyse Systems Engineering | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| ||||||||||||||
|
