 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
| ||||||
|  | | | | | |
| ||||||
| ||||||
| | | ||||
| ||||||
Kontakt/Ansprechpartner |
|
Prof. Dr. Bettina Buth |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Informationen zum Ansprechpartner | |||||||||
| |||||||||
| Prof. Dr. Bettina Buth
Studiendepartment Informatik HAW Hamburg EMail HAW : buth@informatik.haw-hamburg.de | |||||||||
| |||||||||
| Sachgebiete | |||||||||
| |||||||||
| Formale Verifikationstechniken, Model Checking, OCCAM, CSP | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| ||||
| ||||
| ||||
| ||||
| Prof. Dr. Bettina Buth | ||||
| ||||
| ||||
| ||||
| ||||
| Erfahrungen | | ||
| ||||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
